372 search results - page 16 / 75 » Model Checking Commitment Protocols |
WECWIS
2000
IEEE
14 years 1 months ago
2000
IEEE
ENTCS
2008
13 years 8 months ago
2008
SAC
2009
ACM
14 years 3 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...
CSFW
2004
IEEE
14 years 13 days 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 ...
CSFW
1995
IEEE
14 years 8 days 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...