2468 search results - page 387 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
143
click to vote
WSC
1998
15 years 7 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...
183
click to vote
ECCV
2010
Springer
15 years 9 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...
148
click to vote
ACSD
2009
IEEE
16 years 1 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...
157
click to vote
PUC
2008
15 years 5 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 ...
163
click to vote
IPTPS
2005
Springer
15 years 11 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...