5326 search results - page 206 / 1066 » On what we can ensure |
185
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
193
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
165
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
In this paper, we study the safety guarantees of group communication-based database replication techniques. We show that there is a model mismatch between group communication and ...
168
click to vote
IEEEARES
2008
IEEE
16 years 28 days ago
2008
IEEE
We present a secure e-commerce architecture that is resistant to client compromise and man-in-the-middle attacks on SSL. To this end, we propose several security protocols that us...
154
click to vote
LAWEB
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper presents results of a case study that addresses many issues surrounding the difficult task of preservation in a digital library. We focus on a subset of these issues as...