551 search results - page 91 / 111 » Probing TCP Implementations |
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— Service discovery is an integral part of the ad hoc networking to achieve stand-alone and self-configurable communication networks. In this paper, we discuss possible service ...
CAMAD
2009
IEEE
14 years 1 months ago
2009
IEEE
— Simulation tools are popular in the design and study of communication systems and networks. The implementation of analytic distributed simulations commonly require a central en...
FOCS
1993
IEEE
14 years 17 days ago
1993
IEEE
Let M be a fixed finite monoid. We consider the problem of implementing a data type containing a vector x ϭ ( x1, x2, . . . , xn) ʦ Mn , initially (1, 1, . . . , 1), with two kin...
ASYNC
2007
IEEE
14 years 13 days 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...
MASCOTS
2007
13 years 9 months ago
2007
—In this paper, we present a novel approach for improving the performance of a large class of CPU and memory intensive passive network monitoring applications, such as intrusion ...