813 search results - page 52 / 163 » Correctness Properties for Multiagent Systems |
126
click to vote
ICCD
2002
IEEE
16 years 28 days ago
2002
IEEE
Fault-tolerant distributed real-time systems are presently facing a lot of new challenges. Although many techniques provide effective masking of node failures on the architectural...
126
click to vote
CASCON
2007
15 years 5 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
130
click to vote
E4MAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Whenever a multiagent system is designed, many dependencies in the system are identified and must be solved in a correct way. Coordination deals with the management of s...
116
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown...
124
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Modeling dynamical systems composed of aggregations of primitive proteins is critical to the field of astrobiological science, which studies early evolutionary structures dealing ...