1146 search results - page 47 / 230 » Applications of the TAMPR Transformation System |
131
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...
155
click to vote
GG
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
111
click to vote
ECEASST
2008
15 years 4 months ago
2008
Abstract: A triangulated network of mobile units is modelled by means of a graph transformation system in which graph nodes are labelled with geometric coordinates and edges are la...
109
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
This contribution shows and discusses the requirements and constraints that an industrial engineering process defines for the integration of hardware IP into the system developmen...
177
click to vote
AGP
2010
IEEE
15 years 8 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...