Sciweavers

1146 search results - page 10 / 230
» Applications of the TAMPR Transformation System
Sort
View
ETFA
2008
IEEE
15 years 3 months ago
Structured reactive controllers and transformational planning for manufacturing
While current manufacturing systems are built to avoid uncertainty, the increase of setup reconfiguration frequency and ever higher numbers of variants produced on the same syste...
Thomas Rühr, Dejan Pangercic, Michael Beetz
ENTCS
2008
153views more  ENTCS 2008»
14 years 9 months ago
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
The well-known notion of critical pairs already allows a static conflict detection, which is important for all kinds of applications and already implemented in AGG. Unfortunately ...
Leen Lambers, Hartmut Ehrig, Fernando Orejas
BIRTHDAY
2005
Springer
15 years 3 months ago
Graph Transformation in Molecular Biology
In the beginning, one of the main fields of application of graph transformation was biology, and more specifically morphology. Later, however, it was like if the biological appli...
Francesc Rosselló, Gabriel Valiente
DAC
2003
ACM
15 years 10 months ago
An IDF-based trace transformation method for communication refinement
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
Andy D. Pimentel, Cagkan Erbas
BIRTHDAY
2008
Springer
14 years 11 months ago
Unfolding Graph Transformation Systems: Theory and Applications to Verification
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
Paolo Baldan, Andrea Corradini, Barbara König