4595 search results - page 624 / 919 » Reasoning about Plans |
ICDCS
2003
IEEE
14 years 4 months ago
2003
IEEE
In a system proposed by Plaxton, Rajaraman and Richa (PRR), the expected cost of accessing a replicated object was proved to be asymptotically optimal for a static set of nodes an...
AINA
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract—We describe a Bayesian formalism for the intelligent selection of observations from sensor networks that may intermittently undergo faults or changepoints. Such active d...
WETICE
2002
IEEE
14 years 3 months ago
2002
IEEE
Various systems offering anonymity for near real-time Internet traffic have been operational. However, they did not deliver many quantitative results about performance, bandwidth...
LCTRTS
2001
Springer
14 years 3 months ago
2001
Springer
Computers are increasingly being incorporated in devices with a limited amount of available memory. As a result research is increasingly focusing on the automated reduction of pro...
CONCUR
2000
Springer
14 years 3 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...