Sciweavers

3101 search results - page 276 / 621
» Using Relational Databases in the Engineering Repository Sys...
Sort
View
ICDE
2009
IEEE
186views Database» more  ICDE 2009»
16 years 8 months ago
A Benchmark for Online Index Selection
Online approaches to physical design tuning have received considerable attention in the recent literature, with a focus on the problem of online index selection. However, it is dif...
Karl Schnaitter, Neoklis Polyzotis
FQAS
2006
Springer
186views Database» more  FQAS 2006»
15 years 10 months ago
Project-Join-Repair: An Approach to Consistent Query Answering Under Functional Dependencies
Consistent query answering is the term commonly used for the problem of answering queries on databases that violate certain integrity constraints. We address this problem for univ...
Jef Wijsen
VMCAI
2005
Springer
16 years 4 days ago
Model Checking of Systems Employing Commutative Functions
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
A. Prasad Sistla, Min Zhou, Xiaodong Wang
WWW
2003
ACM
16 years 7 months ago
On labeling schemes for the semantic web
This paper focuses on the optimization of the navigation through voluminous subsumption hierarchies of topics employed by Portal Catalogs like Netscape Open Directory (ODP). We ad...
Vassilis Christophides, Dimitris Plexousakis, Mich...
ICSE
2010
IEEE-ACM
15 years 11 months ago
An exploratory study of the evolution of software licensing
Free and open source software (FOSS) is distributed and made available to users under different software licenses, mentioned in FOSS code by means of licensing statements. Variou...
Massimiliano Di Penta, Daniel M. Germán, Ya...