131 search results - page 23 / 27 » Stability of the Max-Weight Protocol in Adversarial Wireless... |
CCR
2002
13 years 7 months ago
2002
This paper outlines our experience with the implementation and deployment of two MANET routing protocols on a five node, four hop, network. The work was prompted by the lack of pu...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Flow control, including congestion control for data transmission, and rate control for multimedia streaming, is an important issue in information transmission in both wireline ...
STOC
2010
ACM
14 years 9 days ago
2010
ACM
In this paper we investigate distributed computation in dynamic networks in which the network topology changes from round to round. We consider a worst-case model in which the com...
JACM
2002
13 years 7 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
LCN
2005
IEEE
14 years 1 months ago
2005
IEEE
The Wireless Channel-oriented Ad-hoc Multi-hop Broadband (W-CHAMB) is a new link layer protocol with the aim of being able to support Quality of Service (QoS) in multi-hop operati...