2021 search results - page 335 / 405 » COCO: Composition Model and Composition Model Implementation |
135
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. Consequently, a number of associated models and languages have been pr...
135
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
130
click to vote
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
140
click to vote
WADT
1998
Springer
15 years 8 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
161
click to vote
WSC
2004
15 years 6 months ago
2004
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated sim...