Sciweavers

2696 search results - page 390 / 540
» Semantic Abstraction and Anaphora
Sort
View
GVD
2004
111views Database» more  GVD 2004»
15 years 7 months ago
Detecting Logical Errors in SQL Queries
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
Stefan Brass, Christian Goldberg
IADIS
2004
15 years 7 months ago
An architecture for enterprise application integration with Web services using MDA
This paper presents an architecture for Enterprise Application Integration with Web Services through the creation of meta-models in MDA(MODEL DRIVEN ARCHITECTURE). The proposed ar...
Samyr Béliche Vale, Zair Abdelouahab
KDID
2004
134views Database» more  KDID 2004»
15 years 7 months ago
Theoretical Bounds on the Size of Condensed Representations
Abstract. Recent studies demonstrate the usefulness of condensed representations as a semantic compression technique for the frequent itemsets. Especially in inductive databases, c...
Nele Dexters, Toon Calders
EFDBS
2003
15 years 7 months ago
Building platforms for information system interoperability - using a UML-based metamodeling approach
Abstract. Models have been playing a major role in information system engineering and interoperability: in this paper, we put an emphasis on the complementary role of metamodels. M...
Marie-Noëlle Terrasse, Marinette Savonnet, Er...
SDL
2001
125views Hardware» more  SDL 2001»
15 years 7 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat