1738 search results - page 114 / 348 » Local Consistency and SAT-Solvers |
WEBDB
2001
Springer
14 years 2 months ago
2001
Springer
For speed and convenience, applications routinely cache XML data locally, and access it through standard parser (SAX) or tree (DOM) interfaces. When the source of this data is a r...
ICECCS
2000
IEEE
14 years 2 months ago
2000
IEEE
Production of a large-scale software system involves quite a few software components. It is very common to develop such software components in a distributed environment consisting...
DSN
2004
IEEE
14 years 2 months ago
2004
IEEE
This paper describes a decentralized consistency protocol for survivable storage that exploits local data versioning within each storage-node. Such versioning enables the protocol...
DEXAW
2006
IEEE
14 years 1 months ago
2006
IEEE
When a database is defined as views over autonomous sources, inconsistencies with respect to global integrity constraints are to be expected. This paper investigates the possibili...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order...