1941 search results - page 274 / 389 » On Generalizations of Network Design Problems with Degree Bo... |
JACM
2002
14 years 9 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: ...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Anycast-based content delivery networks (CDNs) have many properties that make them ideal for the large scale distribution of content on the Internet. However, because routing chan...
SIGITE
2006
ACM
15 years 4 months ago
2006
ACM
Delivery of content in networking and system administration curricula involves significant hands-on laboratory experience supplementing traditional classroom instruction at the Ro...
INFOCOM
2000
IEEE
15 years 2 months ago
2000
IEEE
We study the radio resource allocation problem of distributed joint transmission power control and spreading gain allocation in a DS-CDMA mobile data network. The network consists...
MOBISYS
2008
ACM
15 years 9 months ago
2008
ACM
Adaptive transmit power control in 802.11 Wireless LANs (WLANs) on a per-link basis helps increase network capacity and improves battery life of Wifi-enabled mobile devices. Howev...