3965 search results - page 463 / 793 » Effectivity of Regular Spaces |
252
Voted
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
We demonstrate a prototype of the relational data mapping module of MIQIS, a formal framework for investigating information flow in peer-to-peer database management systems. Data ...
195
click to vote
EDBT
2004
ACM
16 years 7 months ago
2004
ACM
Despite the existence of obstacles in many database applications, traditional spatial query processing utilizes the Euclidean distance metric assuming that points in space are dire...
176
click to vote
EDBT
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we describe and situate the TUPELO system for data mapping in relational databases. Automating the discovery of mappings between structured data sources is a long st...
148
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
177
click to vote
MUM
2009
ACM
16 years 1 months ago
2009
ACM
Different kinds of computing environment effect human interaction in different kinds of ways and understanding how different environments ‘work’, as it were, is important to t...