Sciweavers

1529 search results - page 53 / 306
» A Taxonomy of Software Component Models
Sort
View
CBSE
2004
Springer
15 years 9 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
15 years 2 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
CASCON
1993
114views Education» more  CASCON 1993»
15 years 5 months ago
A transaction manager component for cooperative transaction models
The database community has produced extensive research on the concurrency control problem in the context of traditional databases. However, this traditional model is not suitable ...
George T. Heineman
SOCO
2005
Springer
15 years 9 months ago
A Model of Components with Non-regular Protocols
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
Mario Südholt
LCTRTS
2005
Springer
15 years 9 months ago
Transparent distribution of real-time components based on logical execution time
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...
Emilia Farcas, Claudiu Farcas, Wolfgang Pree, Jose...