352 search results - page 51 / 71 » Proof-Checking a Data Link Protocol |
DAC
1997
ACM
13 years 11 months ago
1997
ACM
The InfoPad project was started at UC Berkeley in 1992 to investigate the issues involved in providing multimedia information access using a portable, wireless terminal. It quickl...
CONEXT
2008
ACM
13 years 9 months ago
2008
ACM
The current interdomain routing protocol, BGP, is not resilient to a path failure due to its single-path and slowlyconverging route calculation. This paper proposes a novel approa...
CN
2007
13 years 7 months ago
2007
Receiver-driven TCP protocols delegate key congestion control functions to receivers. Their goal is to exploit information available only at receivers in order to improve latency ...
CN
2007
13 years 7 months ago
2007
The availability of low-cost hardware such as CMOS cameras and microphones has fostered the development of Wireless Multimedia Sensor Networks (WMSNs), i.e., networks of wirelessl...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
—An interesting feature of the 3G cellular networks is their ability to support multiple data rates. Though the performance of TCP over wireless networks has been well studied, t...