1663 search results - page 178 / 333 » Software Reuse and Safety |
ICAS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
SRDS
2006
IEEE
14 years 3 months ago
2006
IEEE
Distributed snapshots are an important building block for distributed systems, and, among other applications, are useful for constructing efficient checkpointing protocols. In ad...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
ARCS
2004
Springer
14 years 2 months ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes a robotic walker designed as an assistive device for frail elderly people with cognitive impairment. Locomotion is most often the primary form of exercise for...