Sciweavers

2604 search results - page 89 / 521
» Human Errors and System Requirements
Sort
View
FM
2003
Springer
104views Formal Methods» more  FM 2003»
14 years 29 days ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
HICSS
2005
IEEE
159views Biometrics» more  HICSS 2005»
14 years 1 months ago
A Repeatable Collaboration Process for Usability Testing
Evaluating the usability of an application is a crucial activity in systems development projects. It is often done collaboratively, involving groups of current or future users, us...
Gert-Jan de Vreede, Ann L. Fruhling, Anita Chakrap...
TMI
2008
116views more  TMI 2008»
13 years 7 months ago
Reduced Encoding Diffusion Spectrum Imaging Implemented With a Bi-Gaussian Model
Diffusion spectrum imaging (DSI) can map complex fiber microstructures in tissues by characterizing their 3-D water diffusion spectra. However, a long acquisition time is required ...
Chun-Hung Yeh, Kuan-Hung Cho, Hsuan-Cheng Lin, Jiu...
AVI
2008
13 years 10 months ago
A system for dynamic 3D visualisation of speech recognition paths
This paper presents an interactive visualisation system that assists users of semi-automatic speech transcription systems to assess alternative recognition results in real time an...
Saturnino Luz, Masood Masoodian, Bill Rogers, Bo Z...
DFT
2007
IEEE
135views VLSI» more  DFT 2007»
14 years 2 months ago
Fault Secure Encoder and Decoder for Memory Applications
We introduce a reliable memory system that can tolerate multiple transient errors in the memory words as well as transient errors in the encoder and decoder (corrector) circuitry....
Helia Naeimi, André DeHon