813 search results - page 11 / 163 » Correctness Properties for Multiagent Systems |
126
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
110
click to vote
ESAW
2004
Springer
15 years 9 months ago
2004
Springer
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...
120
click to vote
ESA
2004
Springer
15 years 9 months ago
2004
Springer
This paper considers the convergence problem in autonomous mobile robot systems. A natural algorithm for the problem requires the robots to move towards their center of gravity. Th...
134
click to vote
PODC
2009
ACM
16 years 5 months ago
2009
ACM
Due to their simplicity and effectiveness, gossip-based membership protocols have become the method of choice for maintaining partial membership in large P2P systems. A variety of...
112
click to vote
DALT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...