626 search results - page 116 / 126 » When Can Formal Methods Make a Real Difference |
127
click to vote
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
Accurately and efficiently estimating the number of distinct values for some attribute(s) or sets of attributes in a data set is of critical importance to many database operation...
215
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
Given a d-dimensional data set, a point p dominates another point q if it is better than or equal to q in all dimensions and better than q in at least one dimension. A point is a ...
122
click to vote
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
A considerable effort has been recently devoted to the development of Database Management Systems (DBMS) which guarantee high assurance security and privacy. An important componen...
111
click to vote
GFKL
2006
Springer
15 years 7 months ago
2006
Springer
Finding the right pricing for music downloads is of ample importance to the recording industry and music download service providers. For the recently introduced music downloads, re...
233
Voted
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Abstract-- Recent work has demonstrated that readings provided by commodity sensor nodes are often of poor quality. In order to provide a valuable sensory infrastructure for monito...