5777 search results - page 104 / 1156 » The palladio component model |
190
click to vote
ADAEUROPE
2005
Springer
15 years 12 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
166
click to vote
FM
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
152
click to vote
WIOPT
2005
IEEE
15 years 12 months ago
2005
IEEE
The log-normal shadowing radio model has frequently been used to model radio propagation conditions. There exist accurate calculation methods for estimation of interference power ...
160
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
Many segmentation problems in medical imaging rely on accurate modeling and estimation of tissue intensity probability density functions. Gaussian mixture modeling, currently the ...
147
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
This paper introduces a hierarchical approach for multicomponent tracking, where the object-to-be-tracked is modeled as a group of spatial related parts. We propose to use a robus...