1484 search results - page 12 / 297 » A Coordination Model for Interactive Components |
126
click to vote
ENTCS
2007
15 years 4 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...
116
click to vote
ENTCS
2006
15 years 4 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...
130
click to vote
KBSE
1997
IEEE
15 years 8 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...
117
click to vote
EPEW
2006
Springer
15 years 8 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...
148
click to vote
SASO
2009
IEEE
15 years 11 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...