401 search results - page 10 / 81 » Formal Analysis of Meeting Protocols |
74
Voted
WDAG
2007
Springer
15 years 5 months ago
2007
Springer
The deferred update technique is a widely used approach for building replicated database systems. Its fame stems from the fact that read-only transactions can execute locally to a...
WISA
2009
Springer
15 years 6 months ago
2009
Springer
RFID-based access control solutions for mobile environments, e.g. ticketing systems for sport events, commonly rely on readers that are not continuously connected to the back-end s...
ENTCS
2002
14 years 11 months ago
2002
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
153
click to vote
DANCE
2002
IEEE
15 years 4 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...