565 search results - page 55 / 113 » Compositional dynamic test generation |
137
Voted
TSMC
2010
14 years 10 months ago
2010
This paper presents a general gait representation framework for video-based human motion estimation. Specifically, we want to estimate the kinematics of an unknown gait from image ...
166
click to vote
TC
2010
14 years 10 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
153
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
129
click to vote
DBPL
2003
Springer
15 years 8 months ago
2003
Springer
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the n...
100
click to vote
FIW
2007
15 years 4 months ago
2007
Abstract. One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferri...