Interactive Systems:Design, Specification, and Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540002666, 9783540362357

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From a Formal User Model to Design Rules

Interactive Systems:Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-36235-5_1 ◽

2002 ◽

pp. 1-15 ◽

Cited By ~ 14

Author(s):

Paul Curzon ◽

Ann Blandford

Keyword(s):

User Model ◽

Design Rules

Download Full-text

Adaptive User Interface for Mobile Devices

Interactive Systems:Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-36235-5_3 ◽

2002 ◽

pp. 29-43 ◽

Cited By ~ 8

Author(s):

Nikola Mitrović ◽

Eduardo Mena

Keyword(s):

User Interface ◽

Mobile Devices ◽

Adaptive User Interface

Download Full-text

Improving Mouse Navigation — A Walk through the “Hilly Screen Landscape”

Interactive Systems:Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-36235-5_14 ◽

2002 ◽

pp. 185-195 ◽

Cited By ~ 2

Author(s):

David Ahlström ◽

Martin Hitz ◽

Gerhard Leitner

Download Full-text

Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness

Interactive Systems:Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-36235-5_10 ◽

2002 ◽

pp. 133-147 ◽

Cited By ~ 7

Author(s):

Andrew Walenstein

Keyword(s):

Cognitive Support

Download Full-text

Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces

Interactive Systems:Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-36235-5_18 ◽

2002 ◽

pp. 238-252 ◽

Cited By ~ 6

Author(s):

Alan Dix

Download Full-text

Monitoring Human Faces from Multi-view Image Sequences

Interactive Systems:Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-36235-5_13 ◽

2002 ◽

pp. 173-184 ◽

Cited By ~ 1

Author(s):

Nailja Luth

Keyword(s):

Image Sequences ◽

Human Faces

Download Full-text

Task Modelling in Multiple Contexts of Use

Interactive Systems:Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-36235-5_5 ◽

2002 ◽

pp. 59-73 ◽

Cited By ~ 23

Author(s):

Nathalie Souchon ◽

Quentin Limbourg ◽

Jean Vanderdonckt

Keyword(s):

Multiple Contexts

Download Full-text

Migratable User Interface Descriptions in Component-Based Development

Interactive Systems:Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-36235-5_4 ◽

2002 ◽

pp. 44-58 ◽

Cited By ~ 10

Author(s):

Kris Luyten ◽

Chris Vandervelpen ◽

Karin Coninx

Keyword(s):

User Interface ◽

Component Based Development

Download Full-text

Blending Descriptive and Numeric Analysis in Human Reliability Design

Interactive Systems:Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-36235-5_17 ◽

2002 ◽

pp. 223-237

Author(s):

Shamus P. Smith ◽

Michael D. Harrison

Keyword(s):

Human Reliability ◽

Reliability Design

Download Full-text

User Interface Conceptual Patterns

Interactive Systems:Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-36235-5_12 ◽

2002 ◽

pp. 159-172 ◽

Cited By ~ 6

Author(s):

Pedro J. Molina ◽

Santiago Meliá ◽

Oscar Pastor

Keyword(s):

User Interface

Download Full-text

Interactive Systems:Design, Specification, and Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

From a Formal User Model to Design Rules

Adaptive User Interface for Mobile Devices

Improving Mouse Navigation — A Walk through the “Hilly Screen Landscape”

Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness

Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces

Monitoring Human Faces from Multi-view Image Sequences

Task Modelling in Multiple Contexts of Use

Migratable User Interface Descriptions in Component-Based Development

Blending Descriptive and Numeric Analysis in Human Reliability Design

User Interface Conceptual Patterns

Interactive Systems:Design, Specification, and Verification - Lecture Notes in Computer Science
Latest Publications