Sciweavers

745 search results - page 8 / 149
» Towards a Formal Approach for Object Database Design
Sort
View
LREC
2008
125views Education» more  LREC 2008»
14 years 11 months ago
Towards Formal Interpretation of Semantic Annotation
In this paper we present a novel approach to the incremental incorporation of semantic information in natural language processing which does not fall victim to the notorious probl...
Harry Bunt, Chwhynny Overbeeke
ENTCS
2008
91views more  ENTCS 2008»
14 years 9 months ago
Towards Concrete Syntax Patterns for Logic-based Transformation Rules
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
Malte Appeltauer, Günter Kniesel
VLDB
1993
ACM
113views Database» more  VLDB 1993»
15 years 1 months ago
An Active Object-Oriented Database: A Multi-Paradigm Approach to Constraint Management
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...
Hiroshi Ishikawa, Kazumi Kubota
BPM
2006
Springer
128views Business» more  BPM 2006»
14 years 11 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
DKE
1998
97views more  DKE 1998»
14 years 9 months ago
A Temporal Approach to Managing Schema Evolution in Object Database Systems
The issues of schema evolution and temporal object models are generally considered to be orthogonal and are handled independently. However, to properly model applications that nee...
Iqbal A. Goralwalla, Duane Szafron, M. Tamer Ö...