352 search results - page 36 / 71 » Proof-Checking a Data Link Protocol |
101
click to vote
WS
2004
ACM
15 years 5 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...
107
click to vote
AINA
2010
IEEE
15 years 3 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
14 years 11 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
15 years 5 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...
109
click to vote
ISCC
2008
IEEE
15 years 6 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 ...