401 search results - page 56 / 81 » Formal Analysis of Meeting Protocols |
124
click to vote
CL
2007
Springer
14 years 12 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
IEEEAMS
2003
IEEE
15 years 5 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
106
click to vote
ESORICS
2010
Springer
15 years 28 days ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
104
click to vote
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
BIRTHDAY
2010
Springer
15 years 1 days ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...