427 search results - page 65 / 86 » On the Power of Labels in Transition Systems |
ACSD
2005
IEEE
15 years 5 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...
FATES
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
SOFSEM
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the s...
104
click to vote
FSEN
2009
Springer
15 years 3 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...