352 search results - page 10 / 71 » Proof-Checking a Data Link Protocol |
NSDI
2007
13 years 10 months ago
2007
The lack of an accurate representation of the Internet topology at the Autonomous System (AS) level is a limiting factor in the design, simulation, and modeling efforts in inter-d...
LCN
2006
IEEE
14 years 2 months ago
2006
IEEE
The Internet and the devices that connect to it consume a growing and significant amount of electricity. The utilization of desktop to switch Ethernet links is generally very low ...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
—In this paper, we clarify inter-link interference in wireless ad-hoc networks by using link-directional interference graphs (l-graph). Most of the interference graphs in the lit...
HOTNETS
2010
13 years 3 months ago
2010
Links and content references form the foundation of the way that users interact today. Unfortunately, the links used today (URLs) are fragile since they tightly specify a protocol...
MOBICOM
2006
ACM
14 years 2 months ago
2006
ACM
A medium access control (MAC) protocol is proposed that is suitable for non-synchronized ad-hoc networks, and in particular for the energy-constrained underwater acoustic networks...