𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A graph-based approach to the compositional specification of distributed systems

✍ Scribed by Manuel Koch

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
247 KB
Volume
51
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

GRACE as a unifying approach to graph-tr
GRACE as a unifying approach to graph-transformation-based specification
✍ Hans-JΓΆrg Kreowski; Giorgio Busatto; Sabine Kuske πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 203 KB

In this paper, we sketch some basic ideas and features of the graph-transformationbased specification language GRACE. The aim of GRACE is to support the modeling of a wide spectrum of graph and graphical processes in a structured and uniform way including visualization and verification. β€’ approach

Graph model-based approach to the repres
Graph model-based approach to the representation, interpretation, and execution of signal processing systems
✍ J. Sztipanovits; G. Karsai; C. Biegl πŸ“‚ Article πŸ“… 1988 πŸ› John Wiley and Sons 🌐 English βš– 636 KB

In a large class of intelligent machines, one of the tasks of the knowledge-based system components is to corlfigure real-time signal processing systems. These systems implement low-level sensory or control algorithms according to the model of the system to be observed or controlled. If a change in