3235 search results - page 98 / 647 » Partial Redundant Modeling |
122
click to vote
FORTE
2000
15 years 5 months ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...
140
Voted
DAM
2008
15 years 4 months ago
2008
This paper presents the axioms of a real time random walk on the set of states of a medium and some of their consequences, such as the asymptotic probabilities of the states. The ...
155
click to vote
VC
2008
15 years 3 months ago
2008
We synthesize new human body motions from existing motion data. We divide the body of an animated character into several parts, such as to upper and lower body, and partition the m...
164
Voted
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
142
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider the dynamic feedback problem in a class of hybrid systems modeled as (infinite) state deterministic transition systems, in which the continuous variables are...