Sciweavers

5777 search results - page 78 / 1156
» The palladio component model
Sort
View
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 10 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
153
Voted
ICSE
2010
IEEE-ACM
15 years 11 months ago
Legacy component integration by the Fujaba real-time tool suite
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of th...
Stefan Henkler, Jan Meyer, Wilhelm Schäfer, M...
TC
2002
15 years 5 months ago
The Timely Computing Base Model and Architecture
Abstract-- Current systems are very often based on largescale, unpredictable and unreliable infrastructures. However, users of these systems increasingly require services with time...
Paulo Veríssimo, Antonio Casimiro
RC
2002
72views more  RC 2002»
15 years 5 months ago
Symbolic Preconditioning with Taylor Models: Some Examples
Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
R. Baker Kearfott, G. William Walster
SIAMAM
2010
82views more  SIAMAM 2010»
15 years 4 months ago
Wave Propagation in Multicomponent Flow Models
We consider systems of hyperbolic balance laws governing flows of an arbitrary number of components equipped with general equations of state. The components are assumed to be immi...
Tore Flåtten, Alexandre Morin, Svend Tollak ...