813 search results - page 30 / 163 » Correctness Properties for Multiagent Systems |
136
click to vote
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
114
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Multiagent resource allocation is a timely and exciting area of research at the interface of Computer Science and Economics. One of the main challenges in this area is the high co...
113
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
The agents in multiagent systems can coordinate their actions and handle tasks jointly by forming coalitions. One of the important steps in this process is the fair division of pa...
129
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
127
click to vote
AUSAI
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...