A.M. Dearden, M.D. Harrison  Home/Search
Context Related
| cs.york.ac.uk/pub/andyd...dsvis94.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.york.ac.uk/~andyd/ICMs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Previous work on formal models for interactive systems has often used text editors and graphics editors as case studies. Consequently the notations developed do not necessarily include all the facilities that may be required in reasoning about other types of interactive system. In this chapter two possible interaction requirements for an interactive knowledge based system (IKBS), user-initiated recoverability and user-initiated reachability are considered. A two-level model based on the work of ... (Update)
Context of citations to this paper: More
...based systems to support the operations of a computer support help desk. This work is reported in Bridge and Dearden (1992) and Dearden and Bridge (1993). I introduce ICMs below. My hypothesis is that human factors knowledge can be integrated into the design of ICMs by using an...
Cited by: More
The use of Formal Models in the Design of Interactive Case Memory .. - Dearden (1995) (Correct)
Active bibliography (related documents): More All
0.7: Choosing a Knowledge Based System to Support a Help Desk - Dearden, Bridge (1992) (Correct)
0.3: Improving the Interfaces to Interactive Case Memories - Dearden (1994) (Correct)
0.2: System Performance Advisor: An Expert System For Unix System.. - Hoogenboom (1992) (Correct)
Similar documents based on text: More All
0.2: Semantic based generation of Japanese German translation.. - Result And Evaluation- (Correct)
0.1: Model based Bayesian Exploration - Dearden, Friedman, Andre (1999) (Correct)
0.1: Exploiting Structure in Policy Construction - Boutilier, Dearden, Goldszmidt (1995) (Correct)
BibTeX entry: (Update)
Dearden, A. M. and Harrison, M. D. (in press). Modelling interaction properties for interactive case memories. In Paterno', F., editor, Eurographics Workshop on Design, Specification, Verification of Interactive Systems. Springer Verlag. Dix, A., Finlay, J., Abowd, G., and Beale, R. (1993). Human-Computer Interaction. http://citeseer.ist.psu.edu/dearden93modelling.html More
@misc{ dearden93modelling,
author = "A. Dearden and M. Harrison",
title = "Modelling interaction properties for interactive case memories",
text = "Dearden, A. M. and Harrison, M. D. (in press). Modelling interaction properties
for interactive case memories. In Paterno', F., editor, Eurographics Workshop
on Design, Specification, Verification of Interactive Systems. Springer
Verlag. Dix, A., Finlay, J., Abowd, G., and Beale, R. (1993). Human-Computer
Interaction.",
year = "1993",
url = "citeseer.ist.psu.edu/dearden93modelling.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
616 Notation: A reference manual (context) - Spivey - 1989
36 Formal Aspects of Human-Computer Interaction (context) - Abowd - 1991
21 specification language version (context) - Duke, King et al. - 1991
19 Applying case based reasoning to autoclave loading (context) - Hennessy, Hinkle - 1992
10 refinement and analysis of interactive processes (context) - Sufrin, He - 1990
9 Unifying views of interactors (context) - Duke, Faconti et al. - 1994
7 Commercialising case based reasoning technology (context) - Klahr, Vrooman - 1991
6 Integrating feature extraction and memory search - Owens - 1993
6 Engineering human-error tolerant software (context) - Harrison - 1992
6 intelligent (context) - Roth, Bennett et al. - 1988
4 Competent Expert Systems (context) - Keravnou, Johnson - 1986
3 Knowledge based systems support for help desk operations: A .. - Bridge, Dearden - 1992
2 Technical Report System Modelling/WP (context) - Duke, Harrison et al. - 1994
1 A software engineering model for cooperative case memory sys.. (context) - Dearden, Harrison - 1993
1 Choosing a knowledge based system to support a help desk - Dearden, Bridge - 1993
1 The engineering of interactive case memories (context) - Dearden - 1993
Documents on the same site (http://www.cs.york.ac.uk/~andyd/ICMs.html):
The use of Formal Models in the Design of Interactive Case Memory .. - Dearden (1995) (Correct)
Improving the Interfaces to Interactive Case Memories - Dearden (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC