Sciweavers

167 search results - page 12 / 34
» A Formal Approach to Component Adaptation and Composition
Sort
View
ENTCS
2007
118views more  ENTCS 2007»
13 years 7 months ago
Safe Adaptation of Component Coordination
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
Christophe Sibertin-Blanc, Philippe Mauran, G&eacu...
IFM
2004
Springer
14 years 1 months ago
Verifying Controlled Components
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
Steve Schneider, Helen Treharne
ICTAI
1996
IEEE
13 years 12 months ago
Order in Space: A General Formalism for Spatial Reasoning
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
Baher A. El-Geresy, Alia I. Abdelmoty
ISDO
2000
181views Business» more  ISDO 2000»
13 years 9 months ago
eFlow: an Open, Flexible and Configurable Approach to Service Composition
The Web is rapidly becoming the platform through which many companies deliver services to businesses and individual customers. E-Services are typically delivered point-to-point; h...
Fabio Casati
NIPS
2003
13 years 9 months ago
Eigenvoice Speaker Adaptation via Composite Kernel PCA
Eigenvoice speaker adaptation has been shown to be effective when only a small amount of adaptation data is available. At the heart of the method is principal component analysis (...
James T. Kwok, Brian Mak, Simon Ho