14 search results - page 2 / 3 » gg 2010 |
GG
2010
Springer
13 years 4 months ago
2010
Springer
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after ...
GG
2010
Springer
13 years 4 months ago
2010
Springer
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
IJBC
2010
13 years 1 months ago
2010
This paper reports the finding of a 3-scroll chaotic attractor with only three equilibria obtained via direct modification of Chua's circuit. In addition, it is shown numeric...
GG
2010
Springer
13 years 5 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
GG
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....