SOAR: an architecture for general intelligence
Artificial Intelligence
Testing a walkthrough methodology for theory-based design of walk-up-and-use interfaces
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
Model Checking Interactor Specifications
Automated Software Engineering
A Tool Suite for Integrating Task and System Models through Scenarios
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Analyzing human-computer interaction as distributed cognition: the resources model
Human-Computer Interaction
Exploring an Option Space to Engineer a Ubiquitous Computing System
Electronic Notes in Theoretical Computer Science (ENTCS)
Resources for Situated Actions
Interactive Systems. Design, Specification, and Verification
Considering Context and Users in Interactive Systems Analysis
Engineering Interactive Systems
Analysing interactive devices based on information resource constraints
International Journal of Human-Computer Studies
Hi-index | 0.00 |
We investigate here an approach to modelling the dynamic information requirements of a user performing a number of tasks, addressing both the provision and representation of information, viewing the information as being distributed across a set of resources. From knowledge of available resources at the user interface, and task information needs we can identify whether the system provides the user with adequate support for task execution. We look at how we can use tools to help reason about these issues, and illustrate their use through an example. We also consider a full range of analyses suggested using this approach which could potentially be supported by automated reasoning systems.