1940 search results - page 141 / 388 » Graph Transformation with Variables |
102
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
123
Voted
ESTIMEDIA
2008
Springer
15 years 5 months ago
2008
Springer
We propose a method to automatically transform synchronous data flow diagrams into synchronous block diagrams. The idea is to use triggers, a mechanism that allows a block to be f...
108
Voted
FCS
2007
15 years 5 months ago
2007
Instances of the futile questioning problem abound in applications, especially, in the area of artificial intelligence. The problem can be represented by a particular quantified ...
131
Voted
ENGL
2007
15 years 3 months ago
2007
— In this paper, a new method is proposed to evaluate the reliability of stochastic mechanical systems. This technique is based on the combination of the probabilistic transforma...
121
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...