352 search results - page 37 / 71 » Proof-Checking a Data Link Protocol |
ICC
2007
IEEE
14 years 2 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
13 years 10 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
14 years 1 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 ...
UIC
2007
Springer
14 years 2 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
14 years 1 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...