352 search results - page 36 / 71 » Proof-Checking a Data Link Protocol |
WS
2004
ACM
14 years 1 months ago
2004
ACM
In this paper we investigate and provide solutions for security threats in the context of hybrid networks consisting of a cellular base station and mobile devices equipped with du...
AINA
2010
IEEE
13 years 12 months ago
2010
IEEE
Abstract--The steadily growing importance of Internetbased applications and their resilience requirements lead to a rising number of multi-homed sites. The idea of Concurrent Multi...
CN
2004
13 years 8 months ago
2004
In this paper, we introduce a new proxy that effectively prevents unnecessary retransmissions of Transmission Control Protocol data segments from flowing over a wireless link on a...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— In this paper, we consider real-time speech traffic, real-time circuit-switched data (CSD) and non-real-time packetswitched data (PSD) in the UMTS Terrestrial Radio Access Net...
ISCC
2008
IEEE
14 years 2 months ago
2008
IEEE
—This paper presents VoRaQue, a software layer supporting range queries on Voronoi P2P overlays. VoRaQue maps data in a 2-dimensional space. The P2P overlay is defined by links ...