637 search results - page 92 / 128 » Inconsistency-Tolerant Integrity Checking |
107
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Many emerging semantic web applications include ontologies from one set of authors and instance data from another (often much larger) set of authors. Often ontologies are reused a...
145
click to vote
SIGMOD
2004
ACM
16 years 2 months ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...
106
click to vote
EDBT
2008
ACM
16 years 2 months ago
2008
ACM
XML Schema awareness has been an integral part of the XQuery language since its early design stages. Matching XML data against XML types is the main operation that backs up XQuery...
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
118
click to vote
SOSP
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...