6901876
Location History in a Low-cost Context Awareness Environment
Location awareness is a crucial part of the context-awareness mechanism for ubicomputing. This paper explores how usefull is the location awareness history for an office based low-cost context-awareness environment. Capturing location awareness data into a relational database is simple and feasible in office environment. We use extended SQL to access the location awareness history database to provide direct support for speech commands. The mechanism improve flexibility for developing context awareness application in the Intelligent Environment.
18085576
Semantic errors - diagnosis and repair
In compiler technology, semantic error handling has too often used ad hoc techniques and terse messages of fixed content. In contrast, we present general models of diagnosis and repair of semantic errors and illustrate their use in the York Ada Workbench Compiler. The diagnostic model focuses upon the problem of selecting suitable information from which the programmer can locate and correct an error; following a brief discussion of an approach in which <underline>filters</underline> are applied to reports, and we give a more extensive account of a new approach using an <underline>interactive diagnostic interpreter</underline>. The repair model is based upon the idea of <underline>plastic</underline> nodes which are introduced into the compiler's internal representation of a program to replace <underline>normal</underline> nodes which are missing or erroneous.
1518596
Architecture of an Extensible Parallel Debugger
The LERP debugger is a design for an ex-tensible debugging tool for a large array processor. It is extensible in addressing debugging in terms of program-mer's abstractions and paradigms. It includes tools to aid the user to be selective in debugging large numbers of processes .
8792186
Artificial Immune Systems and the Grand Challenge for Non-classical Computation
The UK Grand Challenges for Computing Research is an initiative to map out certain key areas that could be used to help drive research over the next 10–15 years. One of the identified Grand Challenges is Non-Classical Computation, which examines many of the fundamental assumptions of Computer Science, and asks what would result if they were systematically broken. In this discussion paper, we explain how the sub-discipline of Artificial Immune Systems sits squarely in the province of this particular Grand Challenge, and we identify certain key questions.
59685614
Supporting Error-Driven Design
This paper argues that two limitations restrict the utility of interface specification languages. Firstly, they provide no means of capturing the cognitive conditions that lead to operator ‘error’. This makes it difficult to distinguish between the normal behaviour of an expert and the mistakes that often lead to problems for novices. The second weakness is that interface notations cannot easily be used to represent and reason about asynchronous failures. This prevents designers from identifying solutions to failures that could occur at many different points during interaction. These are significant limitations because they reflect a pre-occupation with normative behaviour. Unless we have some means of analysing system failure and operator error then we will continue to have interfaces that are designed to support perfect users in perfect environments.
14968728
Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems
Abstract Accidents at Flixborough, Seveso, Bhopal, Three Mile Island, Windscale and Chernobyl have led to increasing concern over the safety and reliability of control systems. Human factors specialists have responded to this concern and have proposed a number of techniques which support the operator of such applications. Unfortunately, this work has not been accompanied by the provision of adequate tools which might enable a designer to carry it beyond the “laboratory bench” and on to the “shop floor”. The following paper exploits formal, mathematically based specification techniques to provide such a tool. Previous weaknesses of abstract specifications are identified and resolved. In particular, they have failed to capture the temporal properties which human factors specialists identify as crucial to the success or failure of interactive control systems. They also provide the non-formalist with an extremely poor impression of what it would be to like to interact with potential implementations. Temporal logic avoids these deficiencies. It can make explicit the sequential information which may be implicit within a design. Executable subsets of this formalization support prototyping and this provides a means of assessing the qualitative “look and feel” of potential implementations. A variety of presentation strategies, including structural decomposition and dialogue cycles, have been specified and incorporated directly into prototypes using temporal logic. Prelog, a tool for the Presentation and REndering of LOGic specifications, has been developed and its implementation is described.
52833794
The Role of Night Vision Equipment in Military Incidents and Accidents
Night vision devices provide enormous benefits. They enable personnel to carry out operations under conditions that would not otherwise be possible. However, these benefits carry considerable risks. For instance, individuals often become over confident about their ability to use image intensification and infrared devices. In consequence, the use of night vision equipment is an increasingly common factor in military incidents and accidents. This paper uses an analysis of incident and accident data to identify requirements for the successful deployment of night vision equipment. It is argued that these applications must be integrated more closely with existing navigational systems. The successful application of this technology also depends upon adequate risk assessment and team-based training.
28212389
Biomedical computing and visualization