Sciweavers

631 search results - page 42 / 127
» Producing reliable software: an experiment
Sort
View
LCTRTS
2004
Springer
14 years 1 months ago
Modeling and simulating electronic textile applications
— This paper describes our experiences with a simulation environment for electronic textiles. This simulation environment, based upon Ptolemy, enables us to model a diverse range...
Thomas Martin, Mark T. Jones, Joshua Edmison, Tanw...
APSEC
2004
IEEE
13 years 11 months ago
Quality Improvements by Integrating Development Processes
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...
Annita Persson Dahlqvist, Ivica Crnkovic, Ulf Askl...
SEFM
2005
IEEE
14 years 1 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
IAT
2007
IEEE
14 years 2 months ago
Robustness of a Spoken Dialogue Interface for a Personal Assistant
Although speech recognition systems have become more reliable in recent years, they are still highly error-prone. Other components of a spoken language dialogue system must then b...
Anna Wong, Anh Nguyen, Wayne Wobcke
VL
1996
IEEE
13 years 11 months ago
Steering programs via time travel
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...
John W. Atwood Jr., Margaret M. Burnett, Rebecca A...