5777 search results - page 317 / 1156 » The palladio component model |
185
click to vote
KBSE
2003
IEEE
16 years 22 days ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
180
Voted
ECBS
2006
IEEE
15 years 11 months ago
2006
IEEE
Fault prediction models still seem to be more popular in academia than in industry. In industry expert estimations of fault proneness are the most popular methods of deciding wher...
228
click to vote
ENVSOFT
2006
15 years 7 months ago
2006
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...
187
Voted
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
This paper studies image alignment, the problem of learning a shape and appearance model from labeled data and efficiently fitting the model to a non-rigid object with large varia...
227
Voted
ICONS
2009
IEEE
16 years 2 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...