2947 search results - page 71 / 590 » The timely token protocol |
136
click to vote
DSRT
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a new conservative event-synchronization protocol, time-based synchronization, for parallel discreteevent simulation of mobile ad hoc wireless networks. Simulators that...
153
click to vote
TCC
2005
Springer
15 years 10 months ago
2005
Springer
The standard class of adversaries considered in cryptography is that of strict polynomial-time probabilistic machines. However, expected polynomial-time machines are often also co...
136
click to vote
HYBRID
1995
Springer
15 years 8 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
151
click to vote
LCN
2000
IEEE
15 years 8 months ago
2000
IEEE
Future computer networks are expected to carry bursty real-time traffic with stringent time-delay requirements. Popular shortest-path routing protocols have the disadvantage of ca...
115
click to vote
CCR
2007
15 years 4 months ago
2007
Today’s Internet Service Providers (ISPs) serve two roles: managing their network infrastructure and providing (arguably limited) services to end users. We argue that coupling t...