6650 search results - page 298 / 1330 » Mutating database queries |
140
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
243
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
In many modern data management settings, data is queried from a central node or nodes, but is stored at remote sources. In such a setting it is common to perform "pushstyle&qu...
239
Voted
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
In location-based services, it is common for a user to issue a query based on his/her current position. One such example is "find the available cabs within two miles of my cu...
237
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper, we study a new type of spatial query, Nearest Surrounder (NS), which searches the nearest surrounding spatial objects around a query point. NS query can be more use...
260
click to vote
ICDE
2005
IEEE
16 years 6 months ago
2005
IEEE
The ability to compute top-k matches to XML queries is gaining importance due to the increasing number of large XML repositories. The efficiency of top-k query evaluation relies o...