1054 search results - page 120 / 211 » Guarded Expressions in Practice |
194
click to vote
DLOG
2000
15 years 7 months ago
2000
In this paper, we demonstrate that the main standard optimization techniques dependency directed backtracking and model merging can be adapted to description logics with concrete ...
181
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
156
click to vote
PEPM
2010
ACM
16 years 2 months ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
170
click to vote
SRDS
2006
IEEE
16 years 1 days ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
161
click to vote
JCDL
2005
ACM
15 years 11 months ago
2005
ACM
Constructing a Chinese digital library, especially for a historical article archiving, is often bothered by the small character sets supported by the current computer systems. Thi...