813 search results - page 15 / 163 » Correctness Properties for Multiagent Systems |
116
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
137
click to vote
ENTCS
2006
15 years 4 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
120
click to vote
PRDC
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we explore the minimal system requirements to implement unreliable failure detectors. We first consider systems formed by lossy asynchronous and eventually timely l...
129
click to vote
COORDINATION
2005
Springer
15 years 10 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
135
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we propose interaction-driven Markov games (IDMGs), a new model for multiagent decision making under uncertainty. IDMGs aim at describing multiagent decision problem...