1123 search results - page 196 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
147
click to vote
IPSN
2003
Springer
15 years 9 months ago
2003
Springer
With the advancement of MEMS technologies, wireless networks consist of tiny sensor devices hold the promise of revolutionizing sensing in a wide range of application domains becau...
142
click to vote
SIGCOMM
1996
ACM
15 years 8 months ago
1996
ACM
State of the art, real-time, rate-adaptive, multimedia applications adjust their transmission rate to match the available network capacity. Unfortunately, this source-based rate-a...
158
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
167
click to vote
CAV
2000
Springer
15 years 8 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
148
click to vote
JODL
2000
15 years 3 months ago
2000
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...