Sciweavers

220 search results - page 36 / 44
» Declarative Process Modeling in BPMN
Sort
View
SIGMOD
2006
ACM
156views Database» more  SIGMOD 2006»
15 years 11 months ago
MauveDB: supporting model-based user views in database systems
Real-world data -- especially when generated by distributed measurement infrastructures such as sensor networks -- tends to be incomplete, imprecise, and erroneous, making it impo...
Amol Deshpande, Samuel Madden
UML
2001
Springer
15 years 3 months ago
Mapping between Levels in the Metamodel Architecture
The Meta-Modeling Language is a static object-oriented modeling language whose focus is the declarative definition of languages. It aims to enable the UML metamodel to be precisely...
José M. Álvarez, Andy Evans, Paul Sa...
BIRTHDAY
2004
Springer
15 years 4 months ago
A Trace Semantics for Long-Running Transactions
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
CACM
1998
110views more  CACM 1998»
14 years 10 months ago
Viewing WISs as Database Applications
abstraction for modeling these problems is to view the Web as a collection of (usually small and heterogeneous) databases, and to view programs that extract and process Web data au...
Gustavo O. Arocena, Alberto O. Mendelzon
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 6 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...