276 search results - page 18 / 56 » Model Checking Groupware Protocols |
106
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
125
click to vote
ACSC
2007
IEEE
15 years 5 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
118
click to vote
ICNS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper introduces a fault-tolerant group communication protocol that is aimed at grid and wide area environments. The protocol has two layers. The lower layer provides a total...
121
click to vote
ENTCS
2006
15 years 1 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...
125
click to vote
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...