352 search results - page 54 / 71 » Proof-Checking a Data Link Protocol |
INFOCOM
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper presents a new communication service for ATM networks that provides one-way, adjustable rate, on-demand communication channels. The proposed dynamic flow service is des...
MSWIM
2004
ACM
14 years 25 days ago
2004
ACM
All analytical and simulation research on ad hoc wireless networks must necessarily model radio propagation using simplifying assumptions. Although it is tempting to assume that a...
HICSS
1995
IEEE
13 years 11 months ago
1995
IEEE
Managing a connection between two hosts in a network is an important service to provide in order to make the network useful for many applications. The two main subproblems are the...
SIGCOMM
2006
ACM
14 years 1 months ago
2006
ACM
Extensive measurement studies have shown that end-to-end Internet path performance degradation is correlated with routing dynamics. However, the root cause of the correlation betw...
ICC
2000
IEEE
13 years 11 months ago
2000
IEEE
— In this paper, we propose the use of QoS routing to enhance the support of IP Telephony. Our proposed scheme is based on QoS intradomain OSPF routing, an extension of the conve...