3921 search results - page 195 / 785 » Transforming Models with ATL |
142
click to vote
CISIS
2009
IEEE
16 years 10 days ago
2009
IEEE
We explore how to support the creation of customized visualizations of ontology instance data through the specification of ontology mappings. We combine technologies from the dis...
119
click to vote
EDBT
2009
ACM
16 years 9 days ago
2009
ACM
A runtime approach to model-generic translation of schema and data is proposed. It is based on our previous work on MIDST, a platform conceived to perform translations in an off-...
141
click to vote
ICRA
2009
IEEE
16 years 5 days ago
2009
IEEE
Abstract— This paper provides a novel solution for robocentric mapping using an autonomous mobile robot. The robot dynamic model is the standard unicycle model and the robot is a...
156
click to vote
ISORC
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
157
click to vote
ENTCS
2006
15 years 5 months ago
2006
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...