345 search results - page 44 / 69 » GraphML Progress Report |
NCA
2006
IEEE
14 years 2 months ago
2006
IEEE
Modern distributed information systems handle increasingly critical data and computation, but there is no systematic way to assess whether a given part of the system can be entrus...
CRV
2005
IEEE
14 years 2 months ago
2005
IEEE
Docking craft in space and guiding mining machines are areas that often use remote video cameras equipped with one or more controllable light sources. In these applications, the p...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— We report on progress toward a continuous time full 6 DOF translational body state estimator for a hexapod robot executing a jogging gait (with 4 consecutive phases: tripod sta...
TACAS
2005
Springer
14 years 2 months ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....