Sciweavers

874 search results - page 28 / 175
» Graph Transformation in a Nutshell
Sort
View
145
Voted
ISCAPDCS
2003
15 years 5 months ago
Optimal Graph Transformation Assuming Alternate Scheduling Models
Many computation-intensive iterative or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graph...
Timothy W. O'Neil
134
Voted
BXML
2003
15 years 5 months ago
Towards Automatic Selection of Web Services Using Graph Transformation Rules
: The Web service architecture promises to be highly dynamic. The idea is that a service requester can discover a needed service at runtime. Due to the fact that this discovery pro...
Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann
143
Voted
CN
2008
126views more  CN 2008»
15 years 3 months ago
Graph transformation approaches for diverse routing in shared risk resource group (SRRG) failures
Failure resilience is a desired feature of the Internet. Most traditional restoration architectures assume single-failure assumption, which is not adequate in present day WDM opti...
Pallab Datta, Arun K. Somani
147
Voted
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 1 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
116
Voted
MFCS
1997
Springer
15 years 7 months ago
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Co...