Integrating Model Checking with the Industrial Design of Interactive Systems (2008)
Karsten Loer, Michael Harrison
This paper is concerned with the introduction of model checking – in particular the SMV model checking tools – into an industrial process for the design of interactive systems. Using the example...
MARKET EMBEDDEDNESS IN THE SOCIAL STRUCTURE OF THE COMPETITION (2008)
Ilan Talmud, Gustavo S. Mesch, Yitshak Haberfeld, Shin-kap Han, Michael Harrison, Robert Faulkner, ...
This paper studies the effect of inter-industrial control on the survival of Israeli firms. It examines how relations between environments modify relations within environments. More specifically,...
Michael Hildebr, Michael Harrison
This paper explores temporal aspects of control behavior in order to support the design of systems where functions can be allocated flexibly in time. Dynamic Function Scheduling, an extension of...
Ls Bh, Andy Dearden, Michael Harrison, Peter Wright, Yo Dd
context and the economics of effort
ANALYSING DYNAMIC FUNCTION SCHEDULING DECISIONS (2008)
Karsten Loer, Michael Hildebr, Michael Harrison
Abstract: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It involves a...
Peter Wright, Bob Fields, Michael Harrison
In this paper we show how an understanding of a dynamic system from the point of view of the tasks that it supports and an understanding of human error can guide a process of deriving human error...
Applying Formal Methods for Human Error Tolerant Design (2008)
Bob Fields, Peter Wright, Michael Harrison
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A formal notation for...
BAe Dependable Computing Systems Centre and (2008)
Bob Fields, Peter Wright, Michael Harrison, Human Computer, Interaction Group
An aspect of usability that has often been downplayed in previous HCI modelling research involves time. Time dependencies and temporal constraints are an important aspect of action, and failure to...
15 Modelling Interactive Systems and Providing Task Relevant Information (2008)
Bob Fields, Michael Harrison, Peter Wright
This paper presents an approach to the specification of interactive systems which supports reasoning about properties that emerge from the interaction between a system and a user. In particular,...
Integrating Task-Based Error Analysis with System Specification (2007)
Bob Fields, Michael Harrison, Peter Wright
The growing use of computer-based systems in many sectors, particularly those where safety is an issue, combined with the increased complexity of human interaction with such systems, has meant that...
Function allocation: A perspective from studies of work practice (2007)
Peter Wright, Andy Dearden, Bob Fields, Michael Harrison
The aim of this paper is to explore function allocation from the perspective of studies of work practices and of the relationships between work and technology. In recent years we have conducted a...
Integrating Model Checking with the Industrial Design of Interactive Systems (2007)
Karsten Loer, Michael Harrison
This paper is concerned with the introduction of model checking – in particular the SMV model checking tools – into an industrial process for the design of interactive systems. Using the example...
Karsten Loer, Michael Harrison
usable and relevant model checking techniques for the analysis of
A Framework for the Analysis of Dependable Interactive Systems (2007)
Karsten Loer, Michael Harrison
Human-Computer Interaction (HCI) research emphasises the need to consider human factors issues early in the design of systems. However, in practice downstream issues such as the evaluation of...
Steven Pocock, Bob Fields, Michael Harrison, Peter Wright
THEA is a technique designed to help anticipate human-computer interaction failures. It has been developed within the Dependable Computing Systems Centre (DCSC) at York for use by systems engineers....
THEA: Human Error Analysis for Design Evaluation (2007)
Bob Fields, Michael Harrison, Peter Wright
This report uses examples from two flight deck based case studies to illustrate how to use the THEA technique for carrying out a human error analysis during early design. The aim is that this...
Abstract Modelling Interaction in Virtual Environments (2007)
Shamus Smith, David Duke, Tim Marsh, Michael Harrison, Peter Wright
This paper presents some early research from the INQUISITIVE project on abstracting models of interaction in virtual environments away from technological constraints with an aim to providing general...
Bob Fields, Peter Wright, Michael Harrison, Human Computer, Interaction Group
this paper is to investigate time in task performance by applying a particular modelling notation, and to discuss some general points about the requirements for such languages. In order to illustrate...
Resilience-Building Technologies: State of Knowledge (2007)
Lorenzo Strigini, Nuno Neves, Michel Raynal, Michael Harrison, Mohamed Kaaniche, Friedrich Von Henke, ...
are stored in PDF, with the report number as filename. Alternatively, reports are available by post from the above address.
Victor Demiguel, Nishant Mishra, Michael Harrison, Tito Homem-de-mello, Houyuan Jiang, Michal Kaut, ...
∗ We thank Kristin Fridgeirsdottir, Catalina Stefanescu, and Stefanos Zenios for their help during various stages of writing this paper. We would like to thank comments from Zeger Degraeve,...
Cognitive functioning pre- to post-kidney transplantation--a prospective study (2006)
Griva, Konstadina, Thompson, Derek, Jayasena, Dakshina, Davenport, Andrew, Harrison, Michael, Newman, Stanton Peter
Background. Kidney transplantation (TX) may ameliorate the neuropsychological (NP) impairments in end-stage renal disease (ESRD). Previous studies have suffered from small sample sizes, lack of...
Cognitive functioning pre- to post-kidney transplantation--a prospective study (2006)
Griva, Konstadina, Thompson, Derek, Jayasena, Dakshina, Davenport, Andrew, Harrison, Michael, Newman, Stanton Peter
Background. Kidney transplantation (TX) may ameliorate the neuropsychological (NP) impairments in end-stage renal disease (ESRD). Previous studies have suffered from small sample sizes, lack of...
Cognitive functioning pre- to post-kidney transplantation--a prospective study (2006)
Griva, Konstadina, Thompson, Derek, Jayasena, Dakshina, Davenport, Andrew, Harrison, Michael, Newman, Stanton Peter
Background. Kidney transplantation (TX) may ameliorate the neuropsychological (NP) impairments in end-stage renal disease (ESRD). Previous studies have suffered from small sample sizes, lack of...
ENSO-based Spatial Variability of Florida Wildfire Activity (2004)
Southeastern Geographer - Volume 44, Number 2, November 2004
K. Loer, M. Harrison, Karsten Loer, Michael Harrison
framework and supporting tool for the model-based analysis for dependable interactive systems in the context of industrial design
Griva, Konstadina, Hansraj, Sunita, Thompson, Derek, Jayasena, Dakshina, Davenport, Andrew, Harrison, Michael, ...
Background. Neuropsychological (NP) performance after kidney transplantation (TX) has received little attention. This study compared NP functioning between dialysis and transplant patients and...
Griva, Konstadina, Hansraj, Sunita, Thompson, Derek, Jayasena, Dakshina, Davenport, Andrew, Harrison, Michael, ...
Background. Neuropsychological (NP) performance after kidney transplantation (TX) has received little attention. This study compared NP functioning between dialysis and transplant patients and...
Glenn Schrader, Andrew Heckerling, Michael Harrison, Kassper Testbed
CHALLENGES • Look-ahead scheduling • Appropriate use of new concepts with available processing resources • Intelligent caching of knowledge databases FY ’03: Explore Architecture and...
Model-Based Formal Analysis of Temporal Aspects in Human-Computer Interaction (2003)
Karsten Loer, Michael Harrison
This position paper describes how work representations might be generated using a process based on model checking. Sequences or traces are explored that either satisfy properties or demonstrate the...
Escaping Nash Inflation (2002)
In-koo Cho, Noah Williams, J. Sargent, Michael Harrison
ABSTRACT. Mean dynamics describe the convergence to self-confirming equilibria of selfreferential systems under discounted least squares learning. Escape dynamics recurrently propel away from a...
Griva, Konstadina, Ziegelmann, Jochen P., Thompson, Derek, Jayasena, Dakshina, Davenport, Andrew, Harrison, Michael, ...
Background. The specific impact of transplantation on living related donor (LRD) and cadaver (CAD) kidney transplant recipients and their health‐related quality of life...
Vitamin B12 and hepatitis C: molecular biology and human pathology (2001)
Lott, William B., Takyar, Seyedtaghi S., Tuppen, Joseph, Crawford, Darrell H., Harrison, Michael, Sloots, Theo, ...
Cobalamins are stored in high concentrations in the human liver and thus are available to participate in the regulation of hepatotropic virus functions. We show that cyanocobalamin (vitamin B12)...
Vitamin B12 and hepatitis C: Molecular biology and human pathology (2001)
Lott, William B., Takyar, Seyedtaghi S., Tuppen, Joseph, Crawford, Darrell H. G., Harrison, Michael, Sloots, Theo P., ...
Cobalamins are stored in high concentrations in the human liver and thus are available to participate in the regulation of hepatotropic virus functions. We show that cyanocobalamin (vitamin B12)...
Vitamin B12 and hepatitis C: molecular biology and human pathology (2001)
Lott, William B., Takyar, S., Tuppen, Joseph, Crawford, Darrell H., Harrison, Michael, Sloots, Theo, ...
Cobalamins are stored in high concentrations in the human liver and thus are available to participate in the regulation of hepatotropic virus functions. We show that cyanocobalamin (vitamin B12)...
Vitamin B12 and hepatitis C: molecular biology and human pathology (2001)
Lott, William B., Takyar, Seyedtaghi S., Tuppen, Joseph, Crawford, Darrell H., Harrison, Michael, Sloots, Theo, ...
Cobalamins are stored in high concentrations in the human liver and thus are available to participate in the regulation of hepatotropic virus functions. We show that cyanocobalamin (vitamin B12)...
Vitamin B12 and hepatitis C: molecular biology and human pathology (2001)
Lott, William B., Takyar, Seyedtaghi S., Tuppen, Joseph, Crawford, Darrell H., Harrison, Michael, Sloots, Theo, ...
Cobalamins are stored in high concentrations in the human liver and thus are available to participate in the regulation of hepatotropic virus functions. We show that cyanocobalamin (vitamin B12)...
Vitamin B12 and hepatitis C: molecular biology and human pathology (2001)
Lott, William B., Takyar, Seyedtaghi S., Tuppen, Joseph, Crawford, Darrell H., Harrison, Michael, Sloots, Theo, ...
Cobalamins are stored in high concentrations in the human liver and thus are available to participate in the regulation of hepatotropic virus functions. We show that cyanocobalamin (vitamin B12)...
Vitamin B12 and hepatitis C: molecular biology and human pathology (2001)
Lott, William B., Takyar, Seyedtaghi S., Tuppen, Joseph, Crawford, Darrell H., Harrison, Michael, Sloots, Theo, ...
Cobalamins are stored in high concentrations in the human liver and thus are available to participate in the regulation of hepatotropic virus functions. We show that cyanocobalamin (vitamin B12)...
Vitamin B12 and hepatitis C: Molecular biology and human pathology (2001)
Lott, William B., Takyar, Seyedtaghi S., Tuppen, Joseph, Crawford, Darrell H. G., Harrison, Michael, Sloots, Theo P., ...
Cobalamins are stored in high concentrations in the human liver and thus are available to participate in the regulation of hepatotropic virus functions. We show that cyanocobalamin (vitamin B12)...
Thea: A technique for human error assessment early in design (2001)
Steven Pocock, Michael Harrison, Peter Wright, Paul Johnson
Abstract: THEA is a technique designed for use by interactive system designers and engineers to help anticipate interaction failures. These may become problematic once designs become operational. The...
Vitamin B12 and hepatitis C: molecular biology and human pathology (2001)
Lott, William B., Takyar, Seyedtaghi S., Tuppen, Joseph, Crawford, Darrell H., Harrison, Michael, Sloots, Theo, ...
Cobalamins are stored in high concentrations in the human liver and thus are available to participate in the regulation of hepatotropic virus functions. We show that cyanocobalamin (vitamin B12)...
Vitamin B12 and hepatitis C: molecular biology and human pathology (2001)
Lott, William B., Takyar, Seyedtaghi S., Tuppen, Joseph, Crawford, Darrell H., Harrison, Michael, Sloots, Theo, ...
Cobalamins are stored in high concentrations in the human liver and thus are available to participate in the regulation of hepatotropic virus functions. We show that cyanocobalamin (vitamin B12)...
Analysing Human-Computer Interaction as Distributed Cognition: The Resources Model (2000)
Peter Wright, Bob Fields, Michael Harrison
In this paper, we present a new approach to interaction modelling based on the concept of information resource. The approach is inspired by recent distributed cognition (DC) literature but develops a...
Escaping Nash Inflation (1999)
In-koo Cho, Thomas J. Sargent, Michael Harrison
Mean dynamics govern convergence to rational expectations equilibria of self-referential systems under least squares learning. We highlight escape dynamics that propel away from a rational...
Allocation of Function: Scenarios, Context and the Economics of Effort (1998)
Andy Dearden Michael, Michael Harrison, Peter Wright, Ls Bh
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...
Modelling Interaction in Virtual Environments (1998)
Shamus Smith, David Duke, Tim Marsh, Michael Harrison, Peter Wright
This paper presents some early research from the INQUISITIVE project on abstracting models of interaction in virtual environments away from technological constraints with an aim to providing general...
Modelling Human-Computer Interaction As Distributed Cognition (1998)
Peter Wright, Bob Fields, Michael Harrison
In this article we wish to describe an approach to modelling human-computer interaction (HCI) based on recent theoretical developments in cognitive science, namely distributed cognition research...
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...
Objectives, Strategies and Resources as Design Drivers (1997)
Bob Fields, Peter Wright, Michael Harrison
This paper builds on an existing model of human-computer interaction that focuses on the information structures employed as distributed information resources by users in deciding how to act. Such...
THEA: Human Error Analysis for Requirements Definition (1997)
Bob Fields, Michael Harrison, Peter Wright
THEA is a technique developed to help designers in interactive systems (originally in the aviation domain, but hopefully applicable in other contexts) to anticipate interaction failures or...
Objectives, Strategies and Resources as Design Drivers (1997)
Bob Fields Peter, Peter Wright, Michael Harrison
This paper builds on an existing model of human-computer interaction that focuses on the information structures employed as distributed information resources by users in deciding how to act. Such...
Designing human-system interaction using the resource model (1996)
Bob Fields, Peter Wright, Michael Harrison
Some of the most influential research in HCI modelling has been based on “cyclic ” interaction where processes of goal formation, planning, execution and so on are performed sequentially. This...
Designing Human-System Interaction Using The Resource Model (1996)
Bob Fields, Peter Wright, Michael Harrison
Some of the most influential research in HCI modelling has been based on "cyclic" interaction where processes of goal formation, planning, execution and so on are performed sequentially....
Evaluating the Interfaces of Three Theorem Proving Assistants (1996)
Nicholas Merriam, Michael Harrison
A first step in systematically engineering better interfaces for theorem proving assistants (TPAs) is to assess what has already been achieved in the domain. We examine three TPAs employing quite...
Formalising Human Error Resistance And Human Error Tolerance. (1995)
Andrew Dearden, Michael Harrison
A key aim of human-machine interface design for aircraft control systems it to prevent pilot errors from jeopardising the safety of the aircraft. In terms of safety engineering designers should seek...
A Requirements Space For Group-Work Systems (1995)
John Mccarthy Peter, Peter Wright, Michael Harrison, Key Words
Design and evaluation of systems is facilitated by a comprehensive understanding of requirements. The space within which requirements for group-work systems are considered is often limited to...
A Requirements Space For Group-Work Systems (1995)
John Mccarthy Peter, Peter Wright, Michael Harrison, Key Words
Design and evaluation of systems is facilitated by a comprehensive understanding of requirements. The space within which requirements for group-work systems are considered is often limited to...
Modelling Interactive Systems and Providing Task Relevant Information (1995)
Bob Fields, Michael Harrison, Peter Wright
This paper presents an approach to the specification of interactive systems which supports reasoning about properties that emerge from the interaction between a system and a user. In particular,...
Exploring Design Options Rationally (1995)
Chris Bramwell, Bob Fields, Michael Harrison
. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The rationale underlying the...
Exploring design options rationally (1995)
Chris Bramwell, Bob Fields, Michael Harrison
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The rationale underlying...
Reasoning About Communication Requirements With a Spreadsheet (1995)
Bob Fields, Peter Wright, Michael Harrison
This paper describes a procedure for carrying out Communication Link Analysis – a technique for use during the design of control room-type facilities such as would be found in power stations
Deriving Human-Error Tolerance Requirements from Tasks (1994)
Peter Wright, Bob Fields, Michael Harrison
In this paper we show how an understanding of a dynamic system from the point of view of the tasks that it supports and an understanding of human error can guide a process of deriving human error...
Applying Formal Methods for Human Error Tolerant Design (1994)
Bob Fields, Peter Wright, Michael Harrison
. This paper describes recent work concerned with the specification of requirements on interactive systems and the definition of user-level properties of such systems. A formal notation for...
Deriving Human-Error Tolerance Requirements from Tasks (1994)
Peter Wright, Bob Fields, Michael Harrison
In this paper we show how an understanding of a dynamic system from the point of view of the tasks that it supports and an understanding of human error can guide a process of deriving human error...
On Defining Requirements for Interaction (1993)
Michael Harrison, Phil Barnard
Requirements that involve the usability of systems can be properties of interactions rather than systems alone. We demonstrate this proposition by means of four examples and then suggest how a...
Al Ladro, Michael Harrison. . - Milano. NALUAF000464, Mondadori. NAEDAF003670, 1993.
Purcell, Henry (música), The English Concert (ejecución Musical), The English Concert (Choir) (ejecución Musical), Goodwin, Paul (ejecución Musical), Keavy, Stephen (ejecución Musical), Harrison, Michael (ejecución Musical), ...
Considerado por los expertos como el padre de la ópera inglesa (Londres?, 1659 - Westminster, 1695), Henry Purcell estudió con Henry Cooke y Pelham Humfrey en la Capilla Real, y posteriormente con...
User interface languages: A survey of existing methods (1989)
Jonathan Bowen, Alan Dix, Gregory Abowd, Gregory Abowd, Jonathan Bowen Y, Alan Dix Z, ...
University ofYork
User Interface Languages: A Survey of Existing Methods (1989)
Gregory Abowd, Gregory Abowd, Jonathan P. Bowen, Jonathan Bowen, Alan Dix, Alan Dix, ...
This report gives a survey of user interface languages and formal representations of user interfaces. The following aspects of User Interface Languages are considered: expressiveness; readability;...
User interface languages: A survey of existing methods (1989)
Jonathan Bowen, Alan Dix, Gregory Abowd, Gregory Abowd, Jonathan Bowen Y, Alan Dix Z, ...
University ofYork
BLDSC reference no.: D79712.
CAGLIOSTRO "HIJO INFORTUNADO DE LA NATURALEZA" (1946)
TRADUCCION DE: COUNT CAGLIOSTRO (NATURE'S UNFORTUNATE CHILD)
Investigating Nonlinearity: A Note on the Estimation of Hamilton's Random Field Regression Model
Derek Bond, Michael Harrison, Edward O'Brien
In this paper we give an account of the approach to nonlinear econometric modelling proposed by Hamilton (2001) and briefly describe some of the methods of nonlinear optimization that may be used in...
Record level- Correspondence to the editors of Scribner's magazine demanding retraction of a false article written by Mrs. Richard Wetherill entitled "Death of Medicine Man;" the article includes...
Record level- Correspondence to the editors of Scribner's magazine demanding retraction of a false article written by Mrs. Richard Wetherill entitled "Death of Medicine Man;" the article includes...
Record level- Correspondence to the editors of Scribner's magazine demanding retraction of a false article written by Mrs. Richard Wetherill entitled "Death of Medicine Man;" the article includes...
Record level- Correspondence to the editors of Scribner's magazine demanding retraction of a false article written by Mrs. Richard Wetherill entitled "Death of Medicine Man;" the article includes...
Record level- Correspondence to the editors of Scribner's magazine demanding retraction of a false article written by Mrs. Richard Wetherill entitled "Death of Medicine Man;" the article includes...
Record level- Correspondence to the editors of Scribner's magazine demanding retraction of a false article written by Mrs. Richard Wetherill entitled "Death of Medicine Man;" the article includes...
Record level- Correspondence to the editors of Scribner's magazine demanding retraction of a false article written by Mrs. Richard Wetherill entitled "Death of Medicine Man;" the article includes...
A re-examination of an Irish popularity function
Michael Harrison, Michael Marsh
This paper focuses on replication in the sense of Herrnson (1995). It re-examines the only study of an Irish popularity function (Borooah and Borooah, 1990) in the light of recent developments in...
Testing for Parameter Instability using the R/S Statistic
Michael Harrison, Glenn Treacy
This paper explores the use of the R/S statistic as a means of checking for parameter instability. The nature and properties of the statistic are described, and its behaviour and power in the context...
On the Small Sample Distribution of the R/S Statistic
Michael Harrison, Glenn Treacy
This paper gives an account of the R/S statistic and its known properties. It assesses the adequacy of the asymptotic distribution of R/S in the case of samples of small and moderate size, and...
A re-examination of an Irish government popularity function
Harrison, Michael, Marsh, Michael
This paper focuses on replication in the sense of Herrnson (1995). It re- examines the only study of an Irish popularity function (Borooah and Borooah, 1990) in the light of recent developments in...
The Impact of Social Security Reforms on Female Unemployment Compensation Claimants in Ireland
Michael Harrison, Eric Strobl, Patrick Walsh
Ireland, EU legislation, social security reforms, unemployment,
Investigating Nonlinearity: A Note on the Estimation of Hamilton's Random Field Regression Model
Derek Bond, Michael Harrison, Edward O'Brien
In this paper we give an account of the approach to nonlinear econometric modelling proposed by Hamilton (2001) and briefly describe some of the methods of nonlinear optimization that may be used in...