162 search results - page 10 / 33 » Completeness Guarantees for Incomplete Reasoners |
EDBT
2008
ACM
15 years 10 months ago
2008
ACM
Database outsourcing becomes increasingly attractive as advances in network technologies eliminate the perceived performance difference between in-house databases and outsourced d...
MOBICOM
2006
ACM
15 years 3 months ago
2006
ACM
It was recently reported that all known face and combined greedy-face routing variants cannot guarantee message delivery in arbitrary undirected planar graphs. The purpose of this...
ESOP
2004
Springer
15 years 3 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with i...
ECRTS
2007
IEEE
15 years 1 months ago
2007
IEEE
In this paper we study the soft real-time web cluster architecture needed to support e-commerce and related applications. Our testbed is based on an industry standard, which defin...