445 search results - page 21 / 89 » A Call Abstraction for Component Coordination |
COORDINATION
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
PKDD
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Principal component analysis (PCA) and its dual—principal coordinate analysis (PCO)—are widely applied to unsupervised dimensionality reduction. In this paper, we sho...
IRI
2003
IEEE
14 years 1 months ago
2003
IEEE
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...
TOOLS
2008
IEEE
14 years 3 months ago
2008
IEEE
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...
ENTCS
2007
13 years 8 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...