2947 search results - page 124 / 590 » The timely token protocol |
119
click to vote
TACAS
1999
Springer
15 years 9 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
146
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
136
Voted
WCNC
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper, we present a reliable real-time data delivery (communication) mechanism for ad-hoc networks, called RTRD. The mechanism makes use of a proactive wireless routing ...
117
click to vote
ICNP
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper describes scheduling algorithms for scheduling traffic in wireless data networks with multiple channels per cell. The paper assumes that a reservation-based MAC protoco...
165
click to vote
CODES
1999
IEEE
15 years 9 months ago
1999
IEEE
raction levels of communication models to allow designers to trade off between performance and accuracy. Contrary to [2][3], we present an optimization method which preserves the a...