449 search results - page 20 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
136
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
ENTCS
2008
14 years 11 months ago
2008
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...
SIGSOFT
1998
ACM
15 years 3 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
CHARME
2003
Springer
15 years 4 months ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...