2838 search results - page 104 / 568 » Verifying Controlled Components |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— Motivated by the goal of obtaining moreanthropomorphic walking in bipedal robots, this paper considers a hybrid model of a 3D hipped biped with feet and locking knees. ...
DSN
2008
IEEE
13 years 12 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
ICST
2009
IEEE
13 years 7 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
PRDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
ROBIO
2006
IEEE
14 years 4 months ago
2006
IEEE
— This paper proposes a behaviour-based approach for the motion control problem of sustainable and compliant Four-Wheel-Steering robots. Each wheel is considered to be an indepen...