Ben P Challis, Fiona L Pirie, Yo Dd
of a standard test of musical ability for
1. Motivation Making elevators truly accessible to blind people (2009)
In a previous article (McAuley, 1996) Helen McAuley described some of the facilities which can be provided in elevators for people with disabilities. Among them are people who are blind. Many people...
Ls Bh, Andy Dearden, Michael Harrison, Peter Wright, Yo Dd
context and the economics of effort
Ben P Challis, Fiona L Pirie, Yo Dd
of a standard test of musical ability for participants
A Multimodal Interface for Blind Mathematics Students (2007)
Robert D Stevens, Yo Dd, Quai Saint-bernard
This paper was translated and published as: Une interface multimodale pour l'accss aux
Function allocation: A perspective from studies of work practice (2007)
Peter Wright, Andy Dearden, Bob Fields, Yo Dd
Function allocation is a central component of systems engineering and its main aim is to provide a rational means of determining which system-level functions should be carried out by humans and which...
Emergence of an Architectural Topology for Safety-Critical Real-Time Systems (2007)
Mark Nicholson, Alan Burns, Yo Dd
Constructing a system architecture for a distributed safety-critical real-time control system is a complex task. This complexity results from non-functional as well as functional requirements. One...
ELECTRONIC INSTRUMENTS AND THE MAPPING LAYER (2007)
Andy Hunt, Yo Dd, Marcelo M. Wanderley, Matthew Paradis
In this paper we challenge the assumption that an electronic instrument consists solely of an interface and a sound generator. We emphasise the importance of the mapping between input parameters and...
Ben P Challis, Fiona L Pirie, Yo Dd
of a standard test of musical ability for
A Divide and Conquer Approach to Using Inductive Logic Programming for Learning User Models (2003)
The use of Inductive Logic Programming (ILP) for the construction of a user model allows possibilities such as the use of intensional background knowledge and the ability to present a set of...
A Divide and Conquer Approach to Using Inductive Logic Programming for Learning User Models (2003)
The use of Inductive Logic Programming (ILP) for the construction of a user model allows possibilities such as the use of intensional background knowledge and the ability to present a set of...
Safety Assurance Contracts for Integrated Modular Avionics (2003)
Mark Nicholson, John Mcdermid, Yo Dd
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system components. This is...
Safety Assurance Contracts for Integrated Modular Avionics (2003)
Mark Nicholson, John Mcdermid, Yo Dd
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system components. This is...
Intelligent Camera Planning for Computer Graphics (2002)
The virtual cameras used in computer graphics are normally controlled by user input or they are generated by a simple rule, which might require them to remain in position relative to a moving object....
Use of Formal Methods in the Development of Safety Critical Control Software (2002)
This thesis explores the role of formal techniques in the development of safety critical software and in particular the formal specification and validation of embedded control requirements for gas...
Change Management in Families of Safety-Critical Embedded Systems (2002)
This thesis addresses the problem of understanding change and reducing the work needed to estimate and respond to change in families of safety-critical embedded systems. Explicit fam-ily feature...
An Evaluation of Phonetic Spell Checkers (2001)
Victoria J. Hodge, Jim Austin, Yo Dd, Yo Dd
In the work reported here, we describe a phonetic spell-checking algorithm, Phonetex which integrates aspects of Soundex and its extension Phonix. It is designed to provide a phonetic component for...
A High-Performance Binary Neural Processor for PCI and VME Bus-based Systems (1999)
Anthony Moulds, Richard Pack, Zygmunt Ulanowski, Jim Austin, Yo Dd
. This paper describes the construction of a high-performance neural processor using fast Sum-And-Threshold logic and Correlation Matrix Memory binary neural network components. The addition of...
Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems (1999)
Nigel Tracey, John Clark, Keith Mander, John McDermid, Heslington York, Yo Dd
The exception handling code of a system is in general the least documented, tested and understood part, since exceptions are expected to occur only rarely. This paper presents a technique for...
Allocation of Function: Scenarios, Context and the Economics of Effort (1998)
Andy Dearden, Michael Harrison, Peter Wright, Yo Dd
In this paper, we describe an approach to allocation of function that makes use of scenarios as its basic unit of analysis. Our use of scenarios is driven by a desire to ensure that allocation...
Extending a Functional Programming System for Embedded Applications (1995)
Malcolm Wallace, Colin Runciman, Yo Dd
Data Types. New combinators to glue I/O actions together will be developed. Timing primitives and/or higher-order operators to express the common ideas of periodicity, delays, deadlines, timeouts and...