5777 search results - page 29 / 1156 » The palladio component model |
WSC
1998
13 years 8 months ago
1998
In simulation modeling and analysis, there are two situations where there is uncertainty about the number of parameters needed to specify a model. The first is in input modeling w...
ENTCS
2007
13 years 7 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
SEW
2003
IEEE
14 years 20 days ago
2003
IEEE
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
CSMR
2007
IEEE
14 years 1 months ago
2007
IEEE
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...