3176 search results - page 75 / 636 » A Multi-Resolution Relational Data Model |
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
157
click to vote
PODS
2009
ACM
15 years 10 months ago
2009
ACM
The paper investigates the question of whether a partially closed database has complete information to answer a query. In practice an enterprise often maintains master data Dm, a ...
DLOG
2008
15 years 4 days ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
VLUDS
2010
14 years 4 months ago
2010
Urban planners are dealing with problems of urban sprawl and CO2 emissions. The multidimensional character of these phenomena requires new analysis and visualization tools that ar...
GIS
2010
ACM
14 years 8 months ago
2010
ACM
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...