1036 search results - page 38 / 208 » Utilizing Validation Experience for System Validation |
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
− This paper addresses the combined problem of trajectory planning and tracking control for underactuated AUVs moving on the horizontal plane. A reference feasible trajectory for...
DSN
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
ENTER
2008
Springer
13 years 9 months ago
2008
Springer
Conversational recommender systems have been introduced in Travel and Tourism applications in order to support interactive dialogues which assist users in acquiring their goals, e...
DSN
2000
IEEE
14 years 14 days ago
2000
IEEE
Distributed applications can fail in subtle ways that depend on the state of multiple parts of a system. This complicates the validation of such systems via fault injection, since...
IEEEARES
2010
IEEE
14 years 2 months ago
2010
IEEE
—Survivability modeling and evaluation have gained increasing importance. Most existing models assume that the distributions for transitions between states are exponential. Howev...