1940 search results - page 35 / 388 » Graph Transformation with Variables |
112
click to vote
JSS
2010
14 years 9 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
ISCAS
2007
IEEE
2007
IEEE
Analysis of Second-Order Modes of Linear Continuous-Time Systems under Positive-Real Transformations
15 years 8 months ago
Abstract— This paper discusses the behavior of the secondorder modes of linear continuous-time systems under variable transformations with positive-real functions. We first disc...
133
click to vote
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
We consider a model of a 3D image obtained by discretizing it into a multiresolution tetrahedral mesh known as a hierarchy of diamonds. This model enables us to extract crack-free...
124
click to vote
ESA
2008
Springer
15 years 4 months ago
2008
Springer
The crossing number problem is to find the smallest number of edge crossings necessary when drawing a graph into the plane. Eventhough the problem is NP-hard, we are interested in ...
125
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...