352 search results - page 16 / 71 » Proof-Checking a Data Link Protocol |
ICC
2000
IEEE
14 years 26 days ago
2000
IEEE
—Owing to the absence of any static support structure, Ad-hoc networks are prone to link failures. The ‘shortest path seeking’ routing protocols may not lead to stable routes...
NETWORKING
2004
13 years 9 months ago
2004
The most widespread Wireless Local Area Networks (WLANs) are based today on the IEEE 802.11 standard and its various versions, especially the IEEE 802.11b. In this article we first...
MONET
2002
13 years 8 months ago
2002
The Ad hoc Multicast Routing protocol (AMRoute) presents a novel approach for robust IP Multicast in mobile ad hoc networks by exploiting user-multicast trees and dynamic logical c...
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
In this demo, we present Ripcord, a modular platform for rapidly prototyping scale-out data center networks. Ripcord enables researchers to build and evaluate new network features...
DAGSTUHL
2008
13 years 10 months ago
2008
Abstract. Building interval software interoperability can be a good solution when re-using high-quality legacy code or when accessing functionalities unavailable natively in one of...