372 search results - page 16 / 75 » Model Checking Commitment Protocols |
89
Voted
WECWIS
2000
IEEE
15 years 4 months ago
2000
IEEE
ENTCS
2008
15 years 13 days ago
2008
110
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Despite much research in the area of wireless sensor networks in recent years, the programming of sensor nodes is still time-consuming and tedious. A new paradigm which seems to b...
116
Voted
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
136
Voted
CSFW
1995
IEEE
15 years 3 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...