621 search results - page 113 / 125 » Model Checking Probabilistic Distributed Systems |
ICDCS
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract. Content-based publish-subscribe (pub-sub) systems are an emerging paradigm for building large-scale information delivery systems. Secure event dissemination in a pub-sub ...
110
click to vote
ISCA
2011
IEEE
14 years 3 months ago
2011
IEEE
With technology scaling, manufacture-time and in-field permanent faults are becoming a fundamental problem. Multi-core architectures with spares can tolerate them by detecting an...
199
click to vote
POPL
2005
ACM
16 years 23 hour ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
112
click to vote
DILS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present INDUS (Intelligent Data Understanding System), a federated, query-centric system for knowledge acquisition from autonomous, distributed, semantically heterogen...
101
click to vote
ICCV
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose a new technique for fusing multiple cues to robustly segment an object from its background in video sequences that suffer from abrupt changes of both illumination and p...