3836 search results - page 521 / 768 » Semantics of Database Transformations |
138
click to vote
PEPM
2004
ACM
15 years 10 months ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...
161
click to vote
AGP
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...
135
Voted
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into ...
123
Voted
CCS
2003
ACM
15 years 9 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
132
click to vote
ESOP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...