59 search results - page 9 / 12 » Applying Formal Methods for Human Error Tolerant Design |
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— A continuous vocal imitation system was developed using a computational model that explains the process of phoneme acquisition by infants. Human infants perceive speech...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
— This paper proposes a computational model for phoneme acquisition by infants. Human infants perceive speech sounds not as discrete phoneme sequences but as continuous acoustic ...
SAFECOMP
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
FAST
2008
13 years 9 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
SAC
2004
ACM
14 years 25 days ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...