2604 search results - page 153 / 521 » Human Errors and System Requirements |
ICSE
2000
IEEE-ACM
14 years 22 days ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
SERP
2010
13 years 7 months ago
2010
As the use of online business systems increase so does the need to produce more efficient and less error prone web based Modeling is a core abstraction mechanism used to manage co...
ICCHP
2010
Springer
2010
Springer
Automatic Live Monitoring of Communication Quality for Normal-Hearing and Hearing-Impaired Listeners
13 years 11 months ago
Abstract. This contribution presents a system, which allows for a continuous monitoring of speech intelligibility from a single microphone signal. The system accounts for the detri...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
— Robots that can interact naturally with humans require the integration and coordination of many different components with heavy computational demands. We argue that an architec...
HAPTICS
2009
IEEE
13 years 7 months ago
2009
IEEE
This paper describes development of a wind display system for the TreadPort virtual environment locomotion interface, which is cumulatively known as the TreadPort Active Wind Tunn...