In mobile collaborative applications, collaborators may move across heterogeneous environments. This paper proposes object models for seamless transition of collaborators across h...
This paper surveys the area of biological and genomic sources integration, which has recently become a major focus of the data integration research field. The challenges that an i...
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...