823 search results - page 76 / 165 » Model replication: transformations to address model scalabil... |
ECMDAFA
2009
Springer
15 years 1 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we address the problem of face tracking across illumination changes and occlusions. The method is based on leveraging the strengths of both Adaboost to deal with cl...
CVPR
2007
IEEE
15 years 12 months ago
2007
IEEE
Groupwise shape registration of raw edge sequence is addressed. Automatically extracted edge maps are treated as noised input shape of the deformable object and their registration...
MOMPES
2007
IEEE
15 years 4 months ago
2007
IEEE
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...