453 search results - page 91 / 91 » Using Symbolic Simulation for Bounded Property Checking |
PE
2010
Springer
12 years 12 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...
MOBIHOC
2005
ACM
14 years 4 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...
MDM
2010
Springer
13 years 10 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 ...