2468 search results - page 387 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
106
Voted
WSC
1998
15 years 4 months ago
1998
The RESTART method is a widely applicable simulation technique for the estimation of rare event probabilities. The method is based on the idea to restart the simulation in certain...
150
Voted
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Advanced surveillance systems for behavior recognition in outdoor traffic scenes depend strongly on the particular configuration of the scenario. Scene-independent trajectory analy...
115
click to vote
ACSD
2009
IEEE
15 years 10 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
118
Voted
PUC
2008
15 years 3 months ago
2008
We described in earlier publications the principles of a system where internet content would be pre-cached, based on contextual information obtained from a user's electronic ...
125
Voted
IPTPS
2005
Springer
15 years 9 months ago
2005
Springer
Arpeggio is a peer-to-peer file-sharing network based on the Chord lookup primitive. Queries for data whose metadata matches a certain criterion are performed efficiently by using...