453 search results - page 91 / 91 » Using Symbolic Simulation for Bounded Property Checking |
125
click to vote
PE
2010
Springer
14 years 6 months ago
2010
Springer
In today's Internet, a large part of the traffic is carried using the TCP transport protocol. Characterization of the variations of TCP traffic is thus a major challenge, bot...
120
click to vote
MOBIHOC
2005
ACM
15 years 11 months ago
2005
ACM
Node compromise poses severe security threats in wireless sensor networks. Unfortunately, existing security designs can address only a small, fixed threshold number of compromised...
109
click to vote
MDM
2010
Springer
15 years 4 months ago
2010
Springer
—The support of distributed atomic transactions in mobile ad-hoc networks (MANET) is a key requirement for many mobile application scenarios. Atomicity is a fundamental property ...