This paper addresses the unavoidable problem of dynamic reconfiguration in component-based system with a hierarchical component model. The presented solution is based on (1) allowi...
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Recent developments in software component technology have renewed the promise of reusable software. Combining this with the possibilities of sharing simulation results and models ...