Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its speciļ¬cs and particularities that reļ¬...
Abstract. A popular approach to compositional veriļ¬cation of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
In this paper, we introduce MaDcAr, a model of engines for dynamic and automatic (re)assembling of component-based software. In MaDcAr, an application description consists of the d...
Clustering is a well known technique that allows scalability and fault tolerance in distributed systems. In the J2EE framework, clustering can be used to improve the performance a...
Embedded systems must be cost-eļ¬ective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...