1934 search results - page 366 / 387 » Radio Networks with Reliable Communication |
109
click to vote
SIGMETRICS
2008
ACM
15 years 26 days ago
2008
ACM
Enterprise customers are increasingly adopting MPLS (Multiprotocol Label Switching) VPN (Virtual Private Network) service that offers direct any-to-any reachability among the cust...
109
click to vote
NDSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Several off-the-shelf products enable network operators to enforce usage restrictions by actively terminating connections when deemed undesirable. While the spectrum of their appl...
128
Voted
JACM
2002
15 years 19 days 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: ...
243
click to vote
SCN
2011
Springer
14 years 8 months ago
2011
Springer
An inelastic flow is a flow with inelastic rate: i.e., the rate is fixed, it cannot be dynamically adjusted to traffic and load condition as in elastic flows like TCP. Real ti...
121
Voted
IPCCC
1999
IEEE
15 years 5 months ago
1999
IEEE
: Most of the Web traffic today uses the HyperText Transfer Protocol (HTTP), with the Transmission Control Protocol (TCP) as the underlying transport protocol. TCP provides several...