525 search results - page 52 / 105 » Using Checkable Types in Automatic Protocol Analysis |
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
The Internet Chess Club (ICC) is a popular online chess server with more than 30,000 members worldwide including various celebrities and the best chess players in the world. Altho...
MYCRYPT
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we produce a practical and efficient algorithm to find a decomposition of type n = k i=1 2si 3ti , si, ti ∈ N ∪ {0} with k ≤ c + o(1) ¡ log n log log n ....
101
click to vote
Lecture Notes
Comparing systems using measurement, simulation, and queueing models. Common mistakes and how to avoid them, selection of techniques and metrics, art of data presentation, summariz...
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—We develop and evaluate a new method for estimating and optimizing various performance metrics for multihop wireless networks, including MANETs. We introduce an approxim...
ICC
2009
IEEE
13 years 6 months ago
2009
IEEE
We propose a comprehensive theoretical framework to evaluate reliability and energy consumption of distributed source coding (DSC) in wireless sensor networks (WSNs) applications. ...