7167 search results - page 1315 / 1434 » A Technique for Invariant Generation |
171
click to vote
SIGMOD
2008
ACM
15 years 10 months ago
2008
ACM
To deal with data uncertainty, existing probabilistic database systems augment tuples with attribute-level or tuple-level probability values, which are loaded into the database al...
159
click to vote
SIGMOD
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we study the evaluation of skyline queries with partially-ordered attributes. Because such attributes lack a total ordering, traditional index-based evaluation algo...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
102
click to vote
ICDE
2010
IEEE
15 years 9 months ago
2010
IEEE
Keyword search is considered to be an effective information discovery method for both structured and semistructured data. In XML keyword search, query semantics is based on the con...
PERCOM
2004
ACM
15 years 9 months ago
2004
ACM
Interworking heterogeneous wireless access technologies is an important step towards building the next generation, all-IP wireless access infrastructure. In this paper, we present...