352 search results - page 23 / 71 » Proof-Checking a Data Link Protocol |
GLOBECOM
2008
IEEE
13 years 8 months ago
2008
IEEE
Selection cooperation is proposed for rateless coded relaying by developing a novel low-complexity protocol that exploits all source-destination, source-relay, and relay-destinatio...
JCDL
2004
ACM
14 years 1 months ago
2004
ACM
Archived biomedical literature and sequence data are growing rapidly. The Open Archives Initiative's Protocol for Metadata Harvesting (OAI-PMH) [1] provides a convenient way ...
SECON
2008
IEEE
14 years 2 months ago
2008
IEEE
—Wireless reprogramming is a key functionality in Wireless Sensor Networks (WSNs). In fact, the requirements for the network may change in time, or new parameters might have to b...
MOBIHOC
2002
ACM
14 years 8 months ago
2002
ACM
Current algorithms for minimum-energy routing in wireless networks typically select minimum-cost multi-hop paths. In scenarios where the transmission power is fixed, each link has...
EWSN
2006
Springer
14 years 8 months ago
2006
Springer
There have been a number of recent proposals for link and network-layer protocols in the sensor networking literature, each of which claims to be superior to other approaches. Howe...