2812 search results - page 315 / 563 » Secrecy in Multiagent Systems |
147
click to vote
SAC
1998
ACM
15 years 11 months ago
1998
ACM
This paper describes STL, a new coordination model and corresponding language. STL's power and expressiveness are shown through a preliminary distributed implementation of a ...
185
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...
167
click to vote
AAAI
2008
15 years 9 months ago
2008
Weighted voting games provide a popular model of decision making in multiagent systems. Such games are described by a set of players, a list of players' weights, and a quota;...
201
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
150
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
ABSTRACT. Large, experimental Multi-Agent System (MAS) simulations are highly demanding tasks, both computationally and developmentally. Agent-toolkits provide reliable templates f...