2947 search results - page 95 / 590 » The timely token protocol |
155
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
153
click to vote
EWSN
2008
Springer
16 years 4 months ago
2008
Springer
We present Typhoon, a protocol designed to reliably deliver large objects to all the nodes of a wireless sensor network (WSN). Typhoon uses a combination of spatially-tuned timers,...
148
click to vote
ICNP
2009
IEEE
15 years 2 months ago
2009
IEEE
End-to-end rate-based congestion control algorithms are advocated for audio/video transport over the Internet instead of window-based protocols. Once the congestion controller has ...
210
click to vote
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
111
click to vote
EUROCRYPT
2009
Springer
16 years 5 months ago
2009
Springer
The notion of Zero Knowledge Proofs (of knowledge) [ZKP] is central to cryptography; it provides a set of security properties that proved indispensable in concrete protocol design...