802 search results - page 114 / 161 » Two-Phase Modeling of QoS Routing in Communication Networks |
123
Voted
TRIDENTCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
To facilitate a broad range of experimental research on novel protocols and application concepts, we employ an indoor wireless testbed to emulate the performance of the real-world...
158
Voted
JACM
2002
15 years 3 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: ...
124
click to vote
MSWIM
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we present an efficient scheme for the multicast transmission of the data in the Universal Mobile Telecommunications System (UMTS). We take advantage of the tree top...
127
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
123
click to vote
TIT
2008
15 years 3 months ago
2008
Abstract--In data communication networks, packets that arrive at the receiving host may be disordered for reasons such as retransmission of dropped packets or multi-path routing. R...