352 search results - page 15 / 71 » Proof-Checking a Data Link Protocol |
IJSNET
2008
13 years 8 months ago
2008
Delivering sensed data to the sink reliably in sensor networks calls for a scalable, energy-efficient, and error-resilient routing solution. In this paper, a reliable energy-effic...
ISCC
2009
IEEE
14 years 3 months ago
2009
IEEE
Routing protocols for Wireless Sensor Networks (WSN) face three major performance challenges. The first one is an efficient use of bandwidth that minimizes the transfer delay of p...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
Wireless sensor networks (WSNs) are subject to significant resource constraints. Particularly, routing protocols for lowrate WSNs suffer from maintaining routing metrics and sta...
CLUSTER
2006
IEEE
14 years 2 months ago
2006
IEEE
Sockets Direct Protocol (SDP) is a byte stream protocol that utilizes the capabilities of the InfiniBand fabric to transparently achieve performance gains for existing socket-base...
MOBICOM
1999
ACM
14 years 23 days ago
1999
ACM
Mobile ad hoc networks are characterized by multi-hop wireless links, absence of any cellular infrastructure, and frequent host mobility. Design of efficient routing protocols in ...