449 search results - page 4 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
101
click to vote
AGTIVE
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
IFIP
2007
Springer
15 years 3 months ago
2007
Springer
FM
2003
Springer
15 years 2 months ago
2003
Springer
ACSD
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
SE
2010
14 years 11 months ago
2010