Sciweavers

5777 search results - page 25 / 1156
» The palladio component model
Sort
View
FSEN
2007
Springer
14 years 1 months ago
A Model of Component-Based Programming
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
TOOLS
1998
IEEE
13 years 11 months ago
Modeling Dynamic Component Interfaces
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changi...
Franz Huber, Andreas Rausch, Bernhard Rumpe
WAW
2007
Springer
120views Algorithms» more  WAW 2007»
14 years 1 months ago
Giant Component and Connectivity in Geographical Threshold Graphs
The geographical threshold graph model is a random graph model with nodes distributed in a Euclidean space and edges assigned through a function of distance and node weights. We st...
Milan Bradonjic, Aric A. Hagberg, Allon G. Percus
FMCO
2008
Springer
143views Formal Methods» more  FMCO 2008»
13 years 9 months ago
An Asynchronous Distributed Component Model and Its Semantics
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
Ludovic Henrio, Florian Kammüller, Marcela Ri...
FMCO
2006
Springer
109views Formal Methods» more  FMCO 2006»
13 years 11 months ago
Model-Based Testing of Environmental Conformance of Components
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
Lars Frantzen, Jan Tretmans