813 search results - page 67 / 163 » Correctness Properties for Multiagent Systems |
137
click to vote
AGENTS
1998
Springer
15 years 8 months ago
1998
Springer
of other components. This abstract presents an implemented illustration of such explicit component synergy and its usefulness in dynamic multi-agent environments. In such environme...
134
Voted
CEEMAS
2003
Springer
15 years 9 months ago
2003
Springer
Flexibility and adaptability are essential properties of intelligent manufacturing systems. However, it is a major challenge to realize these properties and the benefits of a flexi...
116
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we present the Behaviosite paradigm, a new approach to affecting the behavior of distributed agents in a multiagent system, which is inspired by biological parasites ...
163
click to vote
SIROCCO
2010
15 years 5 months ago
2010
We consider asynchronous message-passing systems in which some links are timely and processes may crash. Each run defines a timeliness graph among correct processes: (p, q) is an e...
151
click to vote
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...