CBSE
2006
Springer
13 years 11 months ago
2006
Springer
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. A component-based system consists of components linked by connectors. Data can reside in components and/or in external data stores. Operations on data, such as access, up...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
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...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
Designing architectures requires the balancing of multiple system quality objectives. In this paper, we present techniques that support the exploration of the quality properties of...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
The possibilities currently offered to conduct business at an electronic level are immense. Service providers offer access to their attendances through components placed on the Int...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We investigate the impact of Operating System's Virtual Memory Managers (VMMs) on performance of enterprise applications. By taking various popular branches of the Linux kerne...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Today we see more and more services being brought to connected homes, such as entertainment or home automation. These services are published and operated by a variety of ...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
There is a broad use of the term "paradigm" in Software Engineering. Concepts such as structured paradigm, cascade paradigm or agent-oriented paradigm are very frequent i...