Results 1 - 10 of 3,134

Formal Methods: State of the Art and Future Directions

by Edmund M. Clarke, Jeannette M. Wing - ACM Computing Surveys , 1996
"... ing with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works, requires prior specific permission and/or a fee. Permissions may be requested from Publications Dept, ACM Inc., 1515 Broadway, New York, N ..."
Abstract - Cited by 425 (6 self) - Add to MetaCart
, NY 10036 USA, fax +1 (212) 869-0481, or permissions@acm.org. 2 \Delta E.M. Clarke and J.M. Wing About Programs---Mechanical verification, Specification techniques; F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic---Mechanical theorem proving General Terms: Software engineering

A Formal Characterisation of Institutionalised Power

by Andrew Jones, Marek Sergot , 1996
"... It is a standard feature of norm-governed institutions that designated agents are empowered to create particular kinds of states of affairs by means of the performance of specified types of actions. Frequently, the states of affairs are of a normative kind, in the sense that they pertain to rights a ..."
Abstract - Cited by 200 (16 self) - Add to MetaCart
of legal power, we distinguish institutionalised power from permission and practical possibility. We define a conditional connective intended to capture the consequence relation implicit in statements of the form: according to the constraints operative in institution s, the performance of some act A

Modeling Security Requirements Through Ownership, Permission and Delegation

by Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone, Paolo Giorgini, Fabio Massacci, Nicola Zannone, John Mylopoulos - In Proc. of RE’05 , 2005
"... Security Requirements Engineering is emerging as a branch of Software Engineering, spurred by the realization that security must be dealt with early on during the requirements phase. Methodologies in this field are challenging, as they must take into account subtle notions such as trust (or lack the ..."
Abstract - Cited by 97 (32 self) - Add to MetaCart
thereof), delegation, and permission; they must also model entire organizations and not only systems-to-be. In our previous work we introduced Secure Tropos, a formal framework for modeling and analyzing security requirements. Secure Tropos is founded on three main notions: ownership, trust

Permissions and Undercutters

by Guido Boella, Leendert van der Torre , 2003
"... Input/output logics have been proposed to formalize rule based inference. They are mainly inspired by deontic logic, or the logic of obligations, although it has also been shown that they generalize for example Reiter's normal default logic. A recent extension of the input/output logics f ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
formalizes various notions of permission. We are

Reprints and permission:

by unknown authors
"... Formal education has been called a “social vaccine, ” as greater school attendance is related to longer life expectancy, fewer offspring, and fewer negative health outcomes, even when controlling for socioeconomic status and other demographics ..."
Abstract - Add to MetaCart
Formal education has been called a “social vaccine, ” as greater school attendance is related to longer life expectancy, fewer offspring, and fewer negative health outcomes, even when controlling for socioeconomic status and other demographics

Reprints and permission:

by unknown authors
"... Formal education has been called a “social vaccine, ” as greater school attendance is related to longer life expectancy, fewer offspring, and fewer negative health outcomes, even when controlling for socioeconomic status and other demographics ..."
Abstract - Add to MetaCart
Formal education has been called a “social vaccine, ” as greater school attendance is related to longer life expectancy, fewer offspring, and fewer negative health outcomes, even when controlling for socioeconomic status and other demographics

Reprints and permission:

by unknown authors
"... Involvement by formal and informal social agents plays a major role in coping with the problem of partner vio-lence (PV). The factors promoting this involvement may indicate how the problem is perceived, therefore it is crucial to identify them in order to understand and efficiently address PV. It i ..."
Abstract - Add to MetaCart
Involvement by formal and informal social agents plays a major role in coping with the problem of partner vio-lence (PV). The factors promoting this involvement may indicate how the problem is perceived, therefore it is crucial to identify them in order to understand and efficiently address PV

Reprints and permission:

by unknown authors
"... Hospices1 are an increasingly prominent space for dying in Australia, and offer a unique form of inpatient rather that at-home end-of-life care. As an institution, the hospice attempts to meet a range of patient needs, including those related to physical, emotional, and spiritual well-being. In doin ..."
Abstract - Add to MetaCart
—blurs the line between formalized bio-medical expertise and cultural belief systems. That is, whereas palliative medicine is a formal subspecialty of biomedicine (Clark, 2007), the very nature of hospice care and the dying process lends itself to a more diversi-

Reprints and permission:

by unknown authors
"... Since the official desegregation of American schools and com-munities in the 1950s and 1960s, and increasing racial integra-tion across the Western world, public sentiment has largely rejected race-based separation as a viable way of negotiating intergroup relations. Civil rights advances were follo ..."
Abstract - Add to MetaCart
followed by an increase in formal and informal intergroup contact, and support for both. The empirical research to date suggests that such contact encourages social cohesion—Intergroup contact is reliably associated with decreases in prejudice and social

Reprints and permission:

by unknown authors
"... As youth transition through high school to adulthood, the paths they take typically involve some type of formal or informal work experience (Zimmer-Gembeck & Mortimer, 2006). Indeed, working during adolescence can convey an array of potential benefits by promoting greater career aware-ness, fost ..."
Abstract - Add to MetaCart
As youth transition through high school to adulthood, the paths they take typically involve some type of formal or informal work experience (Zimmer-Gembeck & Mortimer, 2006). Indeed, working during adolescence can convey an array of potential benefits by promoting greater career aware-ness
Results 1 - 10 of 3,134