2468 search results - page 429 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
111
Voted
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Large-scale attacks generated by fast-spreading or stealthy malicious mobile code, such as flash worms and e-mail viruses, demand new approaches to patch management and disinfecti...
136
click to vote
JUCS
2007
15 years 3 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
163
Voted
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
A novel particle filter, the Memory-based Particle Filter
(M-PF), is proposed that can visually track moving objects
that have complex dynamics. We aim to realize robustness
aga...
137
click to vote
ICSNW
2004
Springer
15 years 8 months ago
2004
Springer
Peer-to-Peer systems have proven to be an effective way of sharing data. Modern protocols are able to efficiently route a message to a given peer. However, determining the destin...
147
Voted
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
Data dissemination in sensor networks requires four components: resource discovery, route establishment, packet forwarding, and route maintenance. Resource discovery can be the mos...