1206 search results - page 154 / 242 » Concurrent Abstract Predicates |
188
Voted
ADBIS
2006
Springer
15 years 10 months ago
2006
Springer
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...
187
Voted
ADBIS
2006
Springer
15 years 10 months ago
2006
Springer
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...
172
Voted
CINQ
2004
Springer
15 years 10 months ago
2004
Springer
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...
143
Voted
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
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...
152
Voted
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
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...