352 search results - page 9 / 71 » Proof-Checking a Data Link Protocol |
GI
2004
Springer
14 years 22 days ago
2004
Springer
: Most of the investigations on ad hoc protocols do not consider the fact that future wireless networks are capable to adapt their behaviour to the channel situation. These adaptin...
MOBICOM
1999
ACM
13 years 11 months ago
1999
ACM
We present the results of a performance evaluation of link layer error recovery over wireless links. Our analysis is based upon a case study of the circuit-switched data service i...
SENSYS
2003
ACM
14 years 18 days ago
2003
ACM
The dynamic and lossy nature of wireless communication poses major challenges to reliable, self-organizing multihop networks. These non-ideal characteristics are more problematic ...
CCGRID
2004
IEEE
13 years 11 months ago
2004
IEEE
Highly popular websites can suffer classical congestion collapse because of the ability of outgoing `bursty' data to congest the server side link. Using the well known and re...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Next-generation e-Science applications will require the ability to transfer information at high data rates between distributed computing centers and data repositories. To support ...