Sciweavers

4434 search results - page 193 / 887
» On the Composition of Hybrid Systems
Sort
View
HICSS
2009
IEEE
143views Biometrics» more  HICSS 2009»
16 years 1 months ago
Compositional Variability - Concepts and Patterns
Most software-intensive systems rely on a componentbased design and are therefore made up of encapsulated structural units which are hierarchically composed of one another. In thi...
Mark-Oliver Reiser, Ramin Tavakoli Kolagari, Matth...
SSS
2009
Springer
110views Control Systems» more  SSS 2009»
15 years 11 months ago
From Local Impact Functions to Global Adaptation of Service Compositions
Abstract. The problem of self-optimization and adaptation in the context of customizable systems is becoming increasingly important with the emergence of complex software systems a...
Liliana Rosa, Luís Rodrigues, Antóni...
CORR
2002
Springer
101views Education» more  CORR 2002»
15 years 6 months ago
Semantic Component Composition
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
Joseph Kiniry
APN
2008
Springer
15 years 8 months ago
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
HYBRID
2003
Springer
15 years 11 months ago
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
Eugene Asarin, Thao Dang, Antoine Girard