449 search results - page 24 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
164
click to vote
RSP
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
151
click to vote
WSC
2004
15 years 6 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
132
Voted
SRDS
2003
IEEE
15 years 10 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
132
Voted
CCS
2006
ACM
15 years 8 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
132
click to vote
FORTE
2008
15 years 6 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...