Sciweavers

8 search results - page 1 / 2
» DECLARE: Full Support for Loosely-Structured Processes
Sort
View
EDOC
2007
IEEE
13 years 10 months ago
DECLARE: Full Support for Loosely-Structured Processes
—Traditional Workflow Management Systems (WFMSs) are not flexible enough to support loosely-structured processes. Furthermore, flexibility in contemporary WFMSs usually comes ...
Maja Pesic, Helen Schonenberg, Wil M. P. van der A...
SIGMOD
2011
ACM
250views Database» more  SIGMOD 2011»
12 years 7 months ago
Hybrid in-database inference for declarative information extraction
In the database community, work on information extraction (IE) has centered on two themes: how to effectively manage IE tasks, and how to manage the uncertainties that arise in th...
Daisy Zhe Wang, Michael J. Franklin, Minos N. Garo...
SIGMOD
2008
ACM
116views Database» more  SIGMOD 2008»
14 years 4 months ago
SPADE: the system s declarative stream processing engine
In this paper, we present Spade - the System S declarative stream processing engine. System S is a large-scale, distributed data stream processing middleware under development at ...
Bugra Gedik, Henrique Andrade, Kun-Lung Wu, Philip...
VLDB
1990
ACM
128views Database» more  VLDB 1990»
13 years 8 months ago
Advanced Query Processing in Object Bases Using Access Support Relations
Even though the large body of knowledge of relational query optimization techniques can be utilized as a starting point for object-oriented query optimization the full exploitatio...
Alfons Kemper, Guido Moerkotte
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
11 years 12 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...