2838 search results - page 36 / 568 » Verifying Controlled Components |
EWSA
2006
Springer
14 years 16 days ago
2006
Springer
Assembling software components into an architecture is a difficult task because of its combinatorial complexity. There is thus a need for automating this building process, either t...
ENTCS
2010
13 years 9 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
DCC
2009
IEEE
14 years 9 months ago
2009
IEEE
An analysis is presented that extends existing Rayleigh-Ritz theory to the special case of highly eccentric distributions. Specifically, a bound on the angle between the first Rit...
ATVA
2008
Springer
13 years 11 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Interface-based design relies on the idea that different components of a system may be developed independently and a system designer can connect them together only if th...