1484 search results - page 12 / 297 » A Coordination Model for Interactive Components |
ENTCS
2007
14 years 11 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
ENTCS
2006
14 years 11 months ago
2006
Global component behaviours as distinguished in Paradigm, offer the ingredients for specifying inter-component coordination in separation from and consistent with detailed compone...
KBSE
1997
IEEE
15 years 3 months ago
1997
IEEE
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
EPEW
2006
Springer
15 years 2 months ago
2006
Springer
PEPA has recently been extended with functional rates [1][2]. These functions allow the specification of indirect interaction between components in such a way that the rate of an a...
SASO
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper introduces MOCAS (Model Of Components for Adaptive Systems), a generic state-based component model which enables the self-adaptation of software components together wit...