Sciweavers

2056 search results - page 47 / 412
» Detecting Errors in Spreadsheets
Sort
View
JDI
2008
46views more  JDI 2008»
13 years 11 months ago
Improving the Utility of Speech Recognition Through Error Detection
Kimberly D. Voll, M. Stella Atkins, Bruce Forster
INFSOF
2002
126views more  INFSOF 2002»
13 years 10 months ago
Detection of dynamic execution errors in IBM system automation's rule-based expert system
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
Carsten Sinz, Thomas Lumpp, Jürgen M. Schneid...