382 search results - page 26 / 77 » Rule-based static analysis of network protocol implementatio... |
143
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...
111
click to vote
ANSS
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...
151
click to vote
MOBICOM
2006
ACM
15 years 7 months ago
2006
ACM
Abstract-The emergence of small, inexpensive, networkcapable sensing devices led to a great deal of research on the design and implementation of sensor networks. A critical step in...
135
click to vote
IPSN
2010
Springer
15 years 3 months ago
2010
Springer
The IEEE 802.15.4 standard for wireless sensor networks can support energy efficient, reliable, and timely packet transmission by tuning the medium access control parameters macMi...
156
click to vote
SPIN
2010
Springer
15 years 1 days ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...