352 search results - page 11 / 71 » Proof-Checking a Data Link Protocol |
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
—It is well known that IEEE 802.11 provides a physical layer multirate capability and, hence, MAC layer mechanisms are needed to exploit this capability. Several solutions have b...
SPW
2004
Springer
14 years 1 months ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...
Lecture Notes
The lecture notes cover the following topics,
Fundamentals (OSI Reference Model, Coding, Ethernet), Data Link Control (Flow Control, Error Control, HDLC, PPP), Internet Protocol ...
IWAN
2004
Springer
14 years 1 months ago
2004
Springer
Active and programmable network technologies strive to support completely new forms of data-path processing capabilities inside the network. This in conjunction with the ability to...
ESAS
2005
Springer
14 years 1 months ago
2005
Springer
Mobile ad-hoc networks (MANETs) provide the technical platform for efficient information sharing in emergency and rescue operations. Some the data present on the scene is highly c...