8780 search results - page 313 / 1756 » On the Feasibility of Consistent Computations |
223
Voted
ICSE
2008
IEEE-ACM
16 years 8 months ago
2008
IEEE-ACM
Code clones are generally considered to be an obstacle to software maintenance. Research has provided evidence that it may not always be practical, feasible, or cost-effective to ...
182
Voted
KDD
2002
ACM
16 years 8 months ago
2002
ACM
We present a framework for mining association rules from transactions consisting of categorical items where the data has been randomized to preserve privacy of individual transact...
190
Voted
CADE
2006
Springer
16 years 7 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
275
Voted
VLDB
2008
ACM
16 years 7 months ago
2008
ACM
Abstract In this paper we propose an extensible architecture for database engines where satellite databases are used to scale out and implement additional functionality for a centr...
185
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
The explicit documentation of the rationale of design decisions is a practice generally encouraged but rarely implemented in industry because of a variety of inhibitors. Known met...