404 search results - page 32 / 81 » Temporal Constraints in Non-temporal Data Modelling Language... |
144
click to vote
EDOC
2011
IEEE
14 years 1 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
228
click to vote
ICDT
1995
ACM
15 years 5 months ago
1995
ACM
Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the ...
WWW
2004
ACM
16 years 2 months ago
2004
ACM
This paper describes a query algebra for queries over XML p2p databases that provides explicit mechanisms for modeling data dissemination, replication constraints, and for capturi...
103
click to vote
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
146
click to vote
JAPLL
2010
15 years 11 days ago
2010
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...