Sciweavers

440 search results - page 76 / 88
» Predicate Abstraction with Indexed Predicates
Sort
View
116
Voted
ADBIS
2006
Springer
135views Database» more  ADBIS 2006»
15 years 1 months ago
Interactive Discovery and Composition of Complex Web Services
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
Sergey A. Stupnikov, Leonid A. Kalinichenko, St&ea...
101
Voted
ADBIS
2006
Springer
165views Database» more  ADBIS 2006»
15 years 1 months ago
Fragmenting XML Documents via Structural Constraints
Abstract. XML query processors suffer from main-memory limitations that prevent them from processing large XML documents. While content-based predicates can be used to project down...
Angela Bonifati, Alfredo Cuzzocrea, Bruno Zinno
96
Voted
CINQ
2004
Springer
116views Database» more  CINQ 2004»
15 years 1 months ago
A Survey on Condensed Representations for Frequent Sets
Abstract. Solving inductive queries which have to return complete collections of patterns satisfying a given predicate has been studied extensively the last few years. The specific...
Toon Calders, Christophe Rigotti, Jean-Franç...
FMCAD
2004
Springer
15 years 1 months ago
A Simple Method for Parameterized Verification of Cache Coherence Protocols
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...
Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon P...
EDBTW
2006
Springer
15 years 1 months ago
Implementing a Linguistic Query Language for Historic Texts
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
Lukas Faulstich, Ulf Leser, Thorsten Vitt