Sciweavers

1153 search results - page 10 / 231
» Reversing graph transformations
Sort
View
TAGT
1998
Springer
184views Graph Theory» more  TAGT 1998»
13 years 11 months ago
A Framework for Adding Packages to Graph Transformation Approaches
Graphs are a commonly used formalism for modeling many different kinds of static and dynamic data. In many applications, data modeling can be improved by using hierarchically struc...
Giorgio Busatto, Gregor Engels, Katharina Mehner, ...
ICIP
2001
IEEE
14 years 9 months ago
Lossless and near-lossless image compression with color transformations
A comparison of lossleess compression results is given for RGB, YCRCB and reversible JPEG 2000 color space. The paper describes the general conditions that rounding errors of a co...
Marek Domanski, Krzysztof Rakowski
ACISICIS
2007
IEEE
14 years 1 months ago
Slicing Aided Design of Obfuscating Transforms
Abstract—An obfuscation aims to transform a program, without affecting its functionality, so that some secret information within the program can be hidden for as long as possible...
Stephen Drape, Anirban Majumdar, Clark D. Thombors...
ENTCS
2008
98views more  ENTCS 2008»
13 years 7 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
ENTCS
2008
110views more  ENTCS 2008»
13 years 7 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,...