165 search results - page 4 / 33 » Coordination of Components in a Distributed Discrete-Event S... |
RSP
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
IASTEDSE
2004
13 years 10 months ago
2004
The integration of distributed, data dependent components requires a data synchronisation model. We consider a class of systems where data-dependent components produce data in dis...
WSC
2004
13 years 10 months ago
2004
Navy personnel use the REMUS unmanned underwater vehicle to search for submerged objects. Navigation inaccuracies lead to errors in predicting the location of objects and thus inc...
FMCO
2007
Springer
14 years 20 days ago
2007
Springer
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, little work has been done for the cases where the software com...