Sciweavers

2947 search results - page 245 / 590
» The timely token protocol
Sort
View
ICCAD
1998
IEEE
120views Hardware» more  ICCAD 1998»
15 years 11 months ago
Communication synthesis for distributed embedded systems
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
Ross B. Ortega, Gaetano Borriello
ICDCS
1994
IEEE
15 years 10 months ago
Scalable and Robust Internetwork Routing for Mobile Hosts
new addressmust be edited into various configurationfiles. Thispaper describes a new protocol for transparently routing packets to mobile hosts operating in a large internetwork. T...
David B. Johnson
ACSC
2009
IEEE
15 years 10 months ago
Verification of the SIP Transaction Using Coloured Petri Nets
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...
Lin Liu
CCS
2006
ACM
15 years 10 months ago
Deniable authentication and key exchange
We extend the definitional work of Dwork, Naor and Sahai from deniable authentication to deniable key-exchange protocols. We then use these definitions to prove the deniability fe...
Mario Di Raimondo, Rosario Gennaro, Hugo Krawczyk
ICC
2000
IEEE
233views Communications» more  ICC 2000»
15 years 10 months ago
Multicasting Sustained CBR and VBR Traffic in Wireless Ad-Hoc Networks
Wireless ad-hoc networks consist of mobile nodes forming a dynamically changing topology without any infrastructure. Multicasting in a wireless ad-hoc network is difficult and chal...
George D. Kondylis, Srikanth V. Krishnamurthy, Son...