Sciweavers

3827 search results - page 589 / 766
» The Epsilon Generation Language
Sort
View
DGO
2003
113views Education» more  DGO 2003»
13 years 11 months ago
Resolving Schema and Value Heterogeneities for XML Web Querying
To query XML data over the Web, query engines need to be able to resolve semantic differences between heterogeneous attributes that are conceptually similar. This demo presents a ...
Nancy Wiegand, Naijun Zhou, Stephen J. Ventura, Is...
DLOG
2003
13 years 11 months ago
Detecting Inconsistencies between UML Models Using Description Logic
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom M...
IJCAI
2001
13 years 11 months ago
Efficient Consequence Finding
We present an extensive experimental study of consequence-finding algorithms based on kernel resolution, using both a trie-based and a novel ZBDD-based implementation, which uses ...
Laurent Simon, Alvaro del Val
ECIS
2003
13 years 11 months ago
Towards a language/action theoretic approach to relationship analysis
Relationship analysis aims at supporting the eliciting and documenting of potential relationship structures of an application domain by providing analysts with a systematic techni...
Fahri Yetim, Michael P. Bieber
FMOODS
2003
13 years 11 months ago
Inductive Proof Outlines for Monitors in Java
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
Erika Ábrahám, Frank S. de Boer, Wil...