3888 search results - page 310 / 778 » Change-Driven Model Transformations |
177
click to vote
EFDBS
2000
15 years 8 months ago
2000
A main problem of data integration is the treatment of conflicts caused by different modeling of real-world entities, different data models or simply by different representations ...
254
click to vote
DBKDA
2010
IEEE
15 years 7 months ago
2010
IEEE
— This paper presents a graphical approach to model XML documents based on a Data Type Documentation called Graphical Notations-Data Type Documentation (GN-DTD). GN-DTD allows us...
169
click to vote
APAL
2010
15 years 6 months ago
2010
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
156
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper is concerned with nonuniform sampling systems, where the sampling interval is time-varying within a certain known bound. The system is transformed into a time-varying d...
182
click to vote
CGF
2010
15 years 6 months ago
2010
We present a closed-form solution for the symmetrization problem, solving for the optimal deformation that reconciles a set of local bilateral symmetries. Given as input a set of ...