352 search results - page 57 / 71 » Proof-Checking a Data Link Protocol |
SOSP
2001
ACM
14 years 4 months ago
2001
ACM
We have developed a new approach for reliably multicasting timecritical data to heterogeneous clients over mesh-based overlay networks. To facilitate intelligent content pruning, ...
CN
2008
13 years 7 months ago
2008
During the last decade, the study of large scale complex networks has attracted a substantial amount of attention and works from several domains: sociology, biology, computer scie...
MOBISYS
2004
ACM
14 years 7 months ago
2004
ACM
In this paper, we investigate the impact of radio irregularity on the communication performance in wireless sensor networks. Radio irregularity is a common phenomenon which arises...
SAC
2005
ACM
14 years 28 days ago
2005
ACM
This paper presents an approach to integrate publish/subscribe semantics with on-demand multicast in wireless ad hoc networks, providing dynamic group communication with fine-gra...
SENSYS
2004
ACM
14 years 24 days ago
2004
ACM
Network congestion occurs when offered traffic load exceeds available capacity at any point in a network. In wireless sensor networks, congestion causes overall channel quality t...