15421 search results - page 104 / 3085 » Dependability |
CGO
2005
IEEE
14 years 2 months ago
2005
IEEE
Many excepting instructions cannot be removed by existing Partial Redundancy Elimination (PRE) algorithms because the ordering constraints must be preserved between the excepting ...
ISAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Designing and programming dependable distributed applications is very difficult. Databases provide features like transactions and replication that can help in the impleme...
PAKDD
2005
ACM
14 years 2 months ago
2005
ACM
The usefulness of the results produced by data mining methods can be critically impaired by several factors such as (1) low quality of data, including errors due to contamination, ...
APWEB
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Integrity constraints play a fundamental role in defining semantics in both conventional databases and in XML documents. In this paper we generalize previous approaches ...
CSL
2004
Springer
14 years 2 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...