Sciweavers

3987 search results - page 24 / 798
» Ontology-Based Model Transformation
Sort
View
ENTCS
2008
110views more  ENTCS 2008»
13 years 10 months ago
An Efficient Solution for Model Checking Graph Transformation Systems
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani,...
ICMCS
2007
IEEE
163views Multimedia» more  ICMCS 2007»
14 years 5 months ago
Using Deformable Surface Models to Derive a DCT-Like 2D Transform
This paper introduces a ¢¤£ discrete, non-separable transform for image processing, which can be regarded as a combination of the well known Discrete Cosine Transform (DCT) wit...
Michail Krinidis, Nikos Nikolaidis, Ioannis Pitas
OOPSLA
2009
Springer
14 years 3 months ago
MT-scribe: a tool for recording and inferring model transformations
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
Yu Sun, Jeff Gray, Jules White
ENTCS
2008
98views more  ENTCS 2008»
13 years 10 months ago
Graph Transformation Semantics for a QVT Language
It has been claimed by many in the graph transformation community that model transformation, as understood in the context of Model Driven Architecture, can be seen as an applicati...
Arend Rensink, Ronald Nederpel
KBSE
2007
IEEE
14 years 4 months ago
Towards automatic model synchronization from model transformations
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zh...