2162 search results - page 218 / 433 » A Meta-Notation for Protocol Analysis |
193
Voted
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
159
click to vote
SIGMETRICS
2000
ACM
15 years 10 months ago
2000
ACM
The Lightweight Directory Access Protocol (LDAP) is being used for an increasing number of distributed directory applications. We describe a tool to analyze the performance of LDA...
181
click to vote
APN
2009
Springer
16 years 22 days ago
2009
Springer
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...
175
Voted
IPPS
2006
IEEE
16 years 5 days ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
126
Voted
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
We present an approach to bus access optimization and schedulability analysis for the synthesis of hard real-time distributed embedded systems. The communication model is based on...