2,692 research outputs found
Events in Property Patterns
A pattern-based approach to the presentation, codification and reuse of
property specifications for finite-state verification was proposed by Dwyer and
his collegues. The patterns enable non-experts to read and write formal
specifications for realistic systems and facilitate easy conversion of
specifications between formalisms, such as LTL, CTL, QRE. In this paper, we
extend the pattern system with events - changes of values of variables in the
context of LTL.Comment: 14 pages, 3 figure
Three religious orientations and five personality factors : an exploratory study among adults in England
In order to explore the power of the five factor model of personality to explain individual differences recorded on measures of the three religious orientations, a sample of 198 adults in England completed established measures of the three religious orientations (intrinsic, extrinsic, and quest) and the big five personality factors (neuroticism, extraversion, openness, agreeableness, and conscientiousness). The data demonstrated that individual differences in the three religious orientations were largely independent of the five personality factors, apart from a significant positive correlation between intrinsic religiosity and agreeableness. These findings support Piedmont’s contention that religiosity is largely independent of personality when personality is operationalised in terms of the big five factors
There\u27s A Girl In Arizona
https://digitalcommons.library.umaine.edu/mmb-vp/6705/thumbnail.jp
He\u27d Have To Get Under - Get Out And Get Under : To Fix Up His Automobile
https://digitalcommons.library.umaine.edu/mmb-vp/5231/thumbnail.jp
Differential effects of the two-chair experiment and empathic reflections at a conflict marker.
- …