352 search results - page 2 / 71 » Proof-Checking a Data Link Protocol |
CORR
2008
Springer
13 years 5 months ago
2008
Springer
The cooperative automatic repeat request (C-ARQ) is a link layer relaying protocol which exploits the spatial diversity and allows the relay node to retransmit the source data pac...
IJSNET
2011
12 years 8 months ago
2011
: Two sensor network protocols for the monitoring of packed food products were tested in different sea containers. The packet rate and the signal strength of all sensor-to-sensor l...
INFOCOM
2010
IEEE
13 years 2 months ago
2010
IEEE
Information theoretic Broadcast Channels (BC) and Multiple Access Channels (MAC) enable a single node to transmit data simultaneously to multiple nodes, and multiple nodes to trans...
ICWMC
2006
IEEE
13 years 11 months ago
2006
IEEE
Because of the heterogeneity in radio transceiver capabilities and influence of surroundings, unidirectional links arise in wireless mobile ad-hoc networks. Since most of existin...
IWDC
2005
Springer
13 years 10 months ago
2005
Springer
Most of the proposed algorithms in ad hoc networks assume homogeneous nodes with similar transmission range and capabilities. However, in heterogeneous ad hoc network, it is not ne...