372 search results - page 30 / 75 » Model Checking Commitment Protocols |
112
click to vote
ACSC
2007
IEEE
15 years 4 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...
102
Voted
ICNS
2006
IEEE
15 years 6 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...
107
Voted
ENTCS
2006
15 years 15 days 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...
111
click to vote
SIGMETRICS
2008
ACM
15 years 12 days 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...
126
click to vote
RTSS
1997
IEEE
15 years 4 months 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....