4305 search results - page 759 / 861 » Analysing Protocol Implementations |
110
Voted
LCN
1994
IEEE
15 years 6 months ago
1994
IEEE
In this paper we explore the packet starvation effect (PSE) that occurs in Ethernet controllers due to the unfairness of the CSMA/CD algorithm. The PSE causes some packets to expe...
112
Voted
SP
1989
IEEE
15 years 6 months ago
1989
IEEE
In early November 1988 the Internet, a collection of networks consisting of 60,000 host computers implementing the TCP/IP protocol suite, was attacked by a virus, a programwhich b...
134
Voted
ANCS
2007
ACM
15 years 6 months ago
2007
ACM
We propose a Progressive Email Classifier (PEC) for highspeed classification of message patterns that are commonly associated with unsolicited bulk email (UNBE). PEC is designed t...
109
Voted
ASYNC
2007
IEEE
15 years 6 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
141
Voted
AUTONOMICS
2007
ACM
15 years 6 months ago
2007
ACM
Self-management is a key feature of autonomic systems. This often demands the dynamic reconfiguration of a distributed application. An important issue in the reconfiguration proce...