321 search results - page 11 / 65 » Testing protocols modeled as FSMs with timing parameters |
110
Voted
UAI
2008
15 years 1 months ago
2008
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed...
106
Voted
SP
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
116
click to vote
MOBICOM
2004
ACM
15 years 5 months ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the eï...
130
Voted
EJWCN
2010
14 years 7 months ago
2010
Simulation studies have been the predominant method of evaluating ad hoc routing algorithms. Despite their wide use and merits, simulations are generally time consuming. Furthermo...
104
Voted
CORR
2008
Springer
15 years 15 days ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...