352 search results - page 13 / 71 » Proof-Checking a Data Link Protocol |
267
Voted
Lecture Notes
The lecture notes cover the following topics,
Course Overview , Data Communications and Networking Overview , Data Transmission , Transmission Media , Signal Encoding Techniques ...
118
Voted
IJSNET
2008
15 years 3 months ago
2008
: Designed for high rate Wireless Personal Area Networks (WPANs), the IEEE 802.15.3 Medium Access Control (MAC) protocol supports peer-to-peer communications in a piconet. In this ...
154
Voted
COMSWARE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Our previous study comparing analytically a comprehensive set of reliable data streaming protocols has shown that an hybrid protocol comprising stop-and-wait hop-by-hop ...
116
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of computing the optimal swap edges of a shortest-path tree. This theoretical problem arises in practice in systems that offer point-offailure shortest-path...
127
Voted
ICNP
2007
IEEE
15 years 10 months ago
2007
IEEE
— The global Internet routing infrastructure is a large and complex distributed system where routing changes occur constantly. Our objective in this paper is to develop a simple ...