575 search results - page 24 / 115 » Transition systems for designing and reasoning about norms |
SACMAT
2006
ACM
15 years 5 months ago
2006
ACM
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...
122
click to vote
MIDDLEWARE
2004
Springer
15 years 4 months ago
2004
Springer
In mobile ad hoc networks, synchronous communication mechanisms appear to be not suitable, since these assume that the involved entities are present at the same time during the in...
ESOA
2006
15 years 3 months ago
2006
Holonic Multi-Agent Systems (HMAS) are a convenient way to engineer complex and open systems. In such systems, agents have to be able to self-organize to satisfy their goals. Our w...
HYBRID
2003
Springer
15 years 4 months ago
2003
Springer
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...
FDG
2009
ACM
15 years 5 months ago
2009
ACM
Designing videogames involves weaving together systems of rules, called game mechanics, which support and structure compelling player experiences. Thus a significant portion of ga...