Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
Marcello M. Bonsangue, Dave Clarke, Alexandra Silv...
Abstract. Principal component analysis (PCA) and its dual—principal coordinate analysis (PCO)—are widely applied to unsupervised dimensionality reduction. In this paper, we sho...
Abstract – In order to fulfill the functional requirements of multimedia management systems while achieving the efficiency and reliability at the same time, we adopt the compone...
Shu-Ching Chen, Mei-Ling Shyu, Na Zhao, Chengcui Z...
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...