Sciweavers

4255 search results - page 359 / 851
» Database: Models, Languages, Design
Sort
View
220
Voted
CAISE
2004
Springer
16 years 27 days ago
Description Logics for Interoperability
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
Enrico Franconi
237
Voted
PAAMS
2009
Springer
16 years 2 days ago
A Tool for Generating Model Transformations By-Example in Multi-Agent Systems
Abstract Many Multi-Agent Systems (MAS) methodologies incorporate a modeldriven approach. Model Driven Engineering is based on three main ideas: models are the “first-class citi...
Iván García-Magariño, Sylvain...
DOLAP
2005
ACM
15 years 9 months ago
Mapping conceptual to logical models for ETL processes
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into...
Alkis Simitsis
193
Voted
ECOOP
1999
Springer
15 years 11 months ago
Synthesizing Objects
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
Krzysztof Czarnecki, Ulrich W. Eisenecker
205
Voted
ESOP
2008
Springer
15 years 9 months ago
A Hybrid Denotational Semantics for Hybrid Systems
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
Olivier Bouissou, Matthieu Martel