386 search results - page 19 / 78 » Model Classifications and Automated Verification |
121
click to vote
IJAOSE
2010
14 years 11 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower...
120
click to vote
FMICS
2006
Springer
15 years 5 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
130
click to vote
DALT
2004
Springer
15 years 5 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
116
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...