5015 search results - page 1003 / 1003 » Model Checking a Path |
INFOCOM
2012
IEEE
11 years 7 months ago
2012
IEEE
—Knowledge of a network’s topology and internal characteristics such as delay times or losses is crucial to maintain seamless operation of network services. Network tomography ...
SPAA
2010
ACM
13 years 9 months ago
2010
ACM
Partitioning is the dominant technique to transmit large files in peer-to-peer networks. A peer can redistribute each part immediately after its download. BitTorrent combines thi...
CVPR
1998
IEEE
14 years 7 months ago
1998
IEEE
We describe a vision system that monitors activity in a site over extended periods of time. The system uses a distributed set of sensors to cover the site, and an adaptive tracker...
WWW
2009
ACM
14 years 5 months ago
2009
ACM
In this paper, we propose a novel framework called SmartMiner for web usage mining problem which uses link information for producing accurate user sessions and frequent navigation...
MOBICOM
2004
ACM
13 years 10 months ago
2004
ACM
Significant progress has been made towards making ad hoc networks secure and DoS resilient. However, little attention has been focused on quantifying DoS resilience: Do ad hoc ne...