949 search results - page 93 / 190 » Relating Imperatives to Action |
ATVA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
ESORICS
2005
Springer
14 years 1 months ago
2005
Springer
Access control is concerned with granting access to sensitive data based on conditions that relate to the past or present, so-called provisions. Expressing requirements from the do...
EMISA
2004
Springer
14 years 1 months ago
2004
Springer
: In a design project, the actors cooperate to achieve a same objective, which can be the production of a document, a manufactured product, a plane or a building. The role of a coo...
CSFW
2003
IEEE
14 years 1 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
BIRTHDAY
2000
Springer
14 years 4 days ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...