352 search results - page 52 / 71 » Proof-Checking a Data Link Protocol |
ICNP
2005
IEEE
14 years 1 months ago
2005
IEEE
Some of the fastest practical algorithms for IP route lookup are based on space-efficient encodings of multi-bit tries [1, 2]. Unfortunately, the time required by these algorithm...
ICPPW
2005
IEEE
14 years 1 months ago
2005
IEEE
— In a typical mobile ad hoc network, mobile computing devices wander autonomously and communicate via temporary links in a self-organized computing system without any central ad...
JCSS
2006
13 years 7 months ago
2006
Accurate network modeling is critical to the design of network protocols. Traditional modeling approaches, such as Discrete Time Markov Chains (DTMC) are limited in their ability ...
IPSN
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we propose a lightweight algorithm for constructing multi-resolution data representations for sensor networks. We compute, at each sensor node u, O(log n) aggregates...
KDD
2002
ACM
14 years 7 months ago
2002
ACM
Traditional intrusion detection systems (IDS) detect attacks by comparing current behavior to signatures of known attacks. One main drawback is the inability of detecting new atta...