372 search results - page 30 / 75 » Model Checking Commitment Protocols |
ACSC
2007
IEEE
14 years 21 days 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...
ICNS
2006
IEEE
14 years 2 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...
ENTCS
2006
13 years 8 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...
SIGMETRICS
2008
ACM
13 years 8 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...
RTSS
1997
IEEE
14 years 26 days ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....