Sciweavers

1445 search results - page 104 / 289
» Uniformly Hard Languages
Sort
View
DBPL
2007
Springer
75views Database» more  DBPL 2007»
14 years 4 months ago
Querying Structural and Behavioral Properties of Business Processes
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
Daniel Deutch, Tova Milo
SAC
2005
ACM
14 years 3 months ago
Selective method combination in mixin-based composition
A mixin is a reusable module that provides uniform extend modifications to classes. It is an abstract subclass that is composable with a variety of superclasses. In mixinbased co...
Tetsuo Kamina, Tetsuo Tamai
WISE
2002
Springer
14 years 3 months ago
Towards Declarative XML Querying
How to extract data from XML documents is an important issue for XML research and development. However, how to view XML documents determines how they can be queried. In this paper...
Mengchi Liu, Tok Wang Ling
ICALP
2010
Springer
14 years 3 months ago
Automata for Coalgebras: An Approach Using Predicate Liftings
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
Gaëlle Fontaine, Raul Andres Leal, Yde Venema
VLDB
1994
ACM
147views Database» more  VLDB 1994»
14 years 2 months ago
Integrating a Structured-Text Retrieval System with an Object-Oriented Database System
We describe the integration of a structuredtext retrieval system (TextMachine) into an object-oriented database system (OpenODB). We use the external function capability of the da...
Tak W. Yan, Jurgen Annevelink