352 search results - page 37 / 71 » Proof-Checking a Data Link Protocol |
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
– MIMO (Multiple Input Multiple Output) is capable of offering several-fold increase in spectral efficiency over singleantenna systems through spatial processing. However, curren...
IWCMC
2010
ACM
15 years 1 months ago
2010
ACM
We consider the problem of control traffic overhead in MANETs with long-lived connections, operating under a reactive routing protocol (e.g. AODV). In such settings, control traff...
INFOCOM
2002
IEEE
15 years 4 months ago
2002
IEEE
—The majority of the existing ad hoc wireless network routing protocols has a tendency to use the shortest single path from the source to the destination. However, in constantly ...
120
click to vote
UIC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Recent experimental studies have shown that radio links between low-power devices are extremely unreliable. In particular, the instability and unpredictability of low-pow...
ICOIN
2004
Springer
15 years 5 months ago
2004
Springer
Recently, mobile SCTP (mSCTP) has been proposed as a transport layer approach for supporting mobility. mSCTP is based on the ’multi-homing’ feature of Stream Control Transmissi...