31 search results - page 1 / 7 » Automated Analysis of Commitment Protocols Using Probabilist... |
143
Voted
ENTCS
2006
15 years 3 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
128
Voted
JCS
2006
15 years 3 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
209
Voted
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
146
Voted
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
153
Voted
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout dynamically changing networks. We present an analysis of a gossip pro...