Static-semantics determines the validity of a program, while a type-checker provides more speciic type error information. Type-checkers are speciied based on the static semantics speciication, for the purpose of identifying and presenting type errors in invalid programs. We discuss a style of algebraically specifying the static semantics of a language which facilitates automatic generation of a...

It is widely acknowledged that Enterprise Resource Planning (ERP) systems are difficult to use. Our own studies have revealed that one of the largest sources of frustration for ERP users is the inadequate support in error situations afforded by these systems. We propose an approach to error handling in which reasoning on the part of the system enables it to behave as a collaborative partner in ...

This paper is concerned with the detection and correction of sub-sentential English text errors. Previous spelling programs, unless restricted to a very small set of words, have operated as post-processors. And to date, grammar checkers and other programs which deal with ill-formed input usually step directly from spelling considerations to a full-scale parse, assuming a complete sentence. Work...

The reliability of file systems depends in part on how well they propagate errors. We develop a static analysis technique, EDP, that analyzes how file systems and storage device drivers propagate error codes. Running our EDP analysis on all file systems and 3 major storage device drivers in Linux 2.6, we find that errors are often incorrectly propagated; 1153 calls (13%) drop an error code with...

Augmented reality is a technology that aims at combining real and virtual reality by integrating virtual objects into the user’s view of the real world. In order to place these augmentations at the right locations, different tracking technologies are employed for finding out where the user is and in what direction he is looking. This requires high accuracy, high update rates and low delay to gi...

Parameter estimation by inverse modeling involves the repeated evaluation of a function of residuals. These residuals represent both errors in the model and errors in the data. In practical applications of inverse modeling of multiphase flow and transport, the error structure of the final residuals often significantly deviates from the statistical assumptions that underlie standard maximum like...

Servers and high-performance computing systems contain more and more memory to handle bigger data sets. But with more and larger memory modules, and more transistors in them, combined with larger clusters of systems, the rate of memory errors in operation is also increasing. Modern server systems generally use ECC memory and other ways to detect and correct many memory errors in the hardware. W...

The VMS operating system's CPU-dependent support of the VAX 6000 family of computers implements a complex and sophisticated set of error-handling routines. At the start of a VMS session, these routines help construct the necessary framework to support the I/O subsystem as the system begins to emerge. For much of a VMS session, these routines then lay dormant within the SYSLOA image. Periodicall...

Increasing use of mobile devices for information access brings with it a demand for robust speech recognition. An important way in which speech recognition system performance can be improved is through use of dialogue strategies to handle the situation in which the system fails to recognise the user’s utterance. In the work described here, the case is made for combining multiple speech recognis...