1362 search results - page 58 / 273 » Model Checking Large Network Protocol Implementations |
114
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— The use of directional antennas in mobile ad hoc networks has shown to offer large potential throughput gains relative to omnidirectional antennas. When used in ad hoc networks...
104
click to vote
ISCC
2009
IEEE
15 years 9 months ago
2009
IEEE
We introduce Adaptive Smooth Simulcast Protocol (ASSP) for simulcast transmission over best-effort networks. ASSP is a new multiple-rate protocol that implements a single rate TCP...
231
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
150
click to vote
TON
2010
14 years 9 months ago
2010
Abstract--Every congestion control protocol operating in wireless networks is potentially faced with two major challenges of performance degradation. These sources are (a) the coup...
109
click to vote
GLOBECOM
2009
IEEE
15 years 5 months ago
2009
IEEE
—The use of the Internet for VoIP communications has seen an important increase over the last few years, with the Session Initiation Protocol (SIP) as the most popular protocol u...