Sciweavers

167 search results - page 12 / 34
» A Formal Approach to Component Adaptation and Composition
Sort
View
ENTCS
2007
118views more  ENTCS 2007»
14 years 11 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
15 years 5 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
78
Voted
ICTAI
1996
IEEE
15 years 3 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
95
Voted
ISDO
2000
181views Business» more  ISDO 2000»
15 years 1 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
105
Voted
NIPS
2003
15 years 1 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