1362 search results - page 177 / 273 » Model Checking Large Network Protocol Implementations |
130
click to vote
ICWN
2004
15 years 4 months ago
2004
In this paper, we assess the state of the art of Quality of Services (QoS) support in wireless sensor networks (WSNs). Unlike traditional end-to-end multimedia applications, many n...
119
click to vote
MM
2000
ACM
15 years 7 months ago
2000
ACM
A Vmedia JPEG 2000 interactive image browser is developed. Two key technologies make our system unique: it is the first to implement the decoder ROI access functionality of JPEG 2...
139
click to vote
TON
2008
15 years 3 months ago
2008
Abstract--Existing anycast routing protocols solely route packets to the closest group member. In this paper, we introduce density-based anycast routing, a new anycast routing para...
129
click to vote
TWC
2008
15 years 3 months ago
2008
Event boundary detection is in and of itself a useful application in wireless sensor networks (WSNs). Typically, it includes the detection of a large-scale spatial phenomenon such ...
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—This paper presents an efficient protocol to reliably exchange information in a single-hop radio network with unpredictable interference. The devices can access C communication...