There is a need for mechanisms for maintaining and restoring software integrity on deployed systems. Dynamic replacement, removal and addition of components in deployed systems is...
Internet based services, particularly asynchronous communication services, offer an environment suited to the rise of knowledge communities. Knowledge communities, or invisible co...
A component framework for defining content-based network processing is presented. It is unique among other existing approaches because it enables contents to naturally define th...
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...