Sciweavers

1800 search results - page 24 / 360
» A component model for internet-scale applications
Sort
View
FASE
2005
Springer
14 years 2 months ago
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
Ralf Reussner, Jens Happe, Annegret Habel
SLS
2007
Springer
111views Algorithms» more  SLS 2007»
14 years 2 months ago
Mixed Models for the Analysis of Local Search Components
We consider a possible scenario of experimental analysis on heuristics for optimization: identifying the contribution of local search components when algorithms are evaluated on th...
Jørgen Bang-Jensen, Marco Chiarandini, Yuri...
CBSE
2004
Springer
14 years 1 months ago
Strategies for a Component-Based Self-adaptability Model in Peer-to-Peer Architectures
Abstract. Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of soph...
Sascha Alda, Armin B. Cremers
ICTAC
2010
Springer
13 years 7 months ago
Formal Modelling of Separation Kernel Components
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
Andrius Velykis, Leo Freitas
ISORC
2007
IEEE
14 years 2 months ago
Real-Time Dynamic Guarantee in Component-Based Middleware
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
Cássia Yuri Tatibana, Carlos Montez, R&ocir...