352 search results - page 60 / 71 » Proof-Checking a Data Link Protocol |
NDSS
2005
IEEE
14 years 29 days ago
2005
IEEE
— Content sharing is a popular use of peer-to-peer systems because of their inherent scalability and low cost of maintenance. In this paper, we leverage this nature of peer-topee...
IMC
2005
ACM
14 years 28 days ago
2005
ACM
If a host can send packets larger than an Internet path can forward, it relies on the timely delivery of Internet Control Message Protocol (ICMP) messages advising that the packet...
ICN
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Network security problems have been well known and addressed in the application, transport, or network layers. However, the Data Link Layer (Layer 2) security has not bee...
INFOCOM
2003
IEEE
14 years 20 days ago
2003
IEEE
-We solve the problem of time-optimal network queue control: what are the input data rates that make network queue sizes converge to their ideal size in the least possible time aft...
ECRTS
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper we address the real-time capabilities of P-NET, which is a multi-master fieldbus standard based on a virtual token passing scheme. We show how P-NET's medium ac...