1830 search results - page 20 / 366 » Implementing a Tamper-Evident Database System |
ICDE
2010
IEEE
14 years 7 months ago
2010
IEEE
Personalized database systems give users answers tailored to their personal preferences. While numerous preference evaluation methods for databases have been proposed (e.g., skylin...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
DATAMINE
1999
13 years 7 months ago
1999
The clustering algorithm DBSCAN relies on a density-based notion of clusters and is designed to discover clusters of arbitrary shape as well as to distinguish noise. In this paper,...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
SIGMOD
2011
ACM
12 years 10 months ago
2011
ACM
Multitenant data infrastructures for large cloud platforms hosting hundreds of thousands of applications face the challenge of serving applications characterized by small data foo...