3629 search results - page 107 / 726 » A More Efficient Use of Delta-CRLs |
100
click to vote
DAC
1994
ACM
15 years 1 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
ATAL
2008
Springer
2008
Springer
Efficient approximate inference in distributed Bayesian networks for MAS-based sensor interpretation
14 years 12 months ago
The multiply sectioned Bayesian network (MSBN) framework is the most studied approach for distributed Bayesian Network inference in an MAS setting. This paper describes a new fram...
FEGC
2010
14 years 10 months ago
2010
Abstract. Having effective and efficient methods to get access to desired images is essential nowadays with the huge amount of digital images. This paper presents an analogy betwee...
ICDCS
1996
IEEE
15 years 2 months ago
1996
IEEE
We propose a new algorithm for recovering asynchronously from failures in a distributed computation. Our algorithm is based on two novel concepts - a fault-tolerant vector clock t...
COMSWARE
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper addresses the problem of secure path key establishment in wireless sensor networks that uses the random key pre-distribution technique. Inspired by the recent proxybased...