9. DSV-IS 2002: Rostock, Germany

Peter Forbrig, Quentin Limbourg, Bodo Urban, Jean Vanderdonckt (Eds.): Interactive Systems. Design, Specification, and Verification, 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002. Lecture Notes in Computer Science 2545 Springer 2002, ISBN 3-540-00266-9 BibTeX

@proceedings{DBLP:conf/dsvis/2002,
  editor    = {Peter Forbrig and
               Quentin Limbourg and
               Bodo Urban and
               Jean Vanderdonckt},
  title     = {Interactive Systems. Design, Specification, and Verification,
               9th International Workshop, DSV-IS 2002, Rostock Germany, June
               12-14, 2002},
  booktitle = {DSV-IS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2545},
  year      = {2002},
  isbn      = {3-540-00266-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Paul Curzon, Ann Blandford:
From a Formal User Model to Design Rules. 1-15
Electronic Edition (Springer LINK) BibTeX
José Luis Garrido, Miguel Gea:
A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling. 16-28
Electronic Edition (Springer LINK) BibTeX
Nikola Mitrovic, Eduardo Mena:
Adaptive User Interface for Mobile Devices. 29-43
Electronic Edition (Springer LINK) BibTeX
Kris Luyten, Chris Vandervelpen, Karin Coninx:
Migratable User Interface Descriptions in Component-Based Development. 44-58
Electronic Edition (Springer LINK) BibTeX
Nathalie Souchon, Quentin Limbourg, Jean Vanderdonckt:
Task Modelling in Multiple Contexts of Use. 59-73
Electronic Edition (Springer LINK) BibTeX
Emmanuel Dubois, Paulo Pinheiro da Silva, Philip D. Gray:
Notational Support for the Design of Augmented Reality Systems. 74-88
Electronic Edition (Springer LINK) BibTeX
Lars Braubach, Alexander Pokahr, Daniel Moldt, Andreas Bartelt, Winfried Lamersdorf:
Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing. 89-103
Electronic Edition (Springer LINK) BibTeX
Erik G. Nilsson:
Combining Compound Conceptual User Interface Components with Modelling Patterns - A Promising Direction for Model-Based Cross-Platform User Interface Development. 104-117
Electronic Edition (Springer LINK) BibTeX
Ahmed Seffah, Peter Forbrig:
Multiple User Interfaces: Towards a Task-Driven and Patterns-Oriented Design Model. 118-132
Electronic Edition (Springer LINK) BibTeX
Andrew Walenstein:
Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness. 133-147
Electronic Edition (Springer LINK) BibTeX
Sergiy Boyko, Peter Forbrig, Anatoli Yashin:
User Interface Design Patterns for Interactive Modeling in Demography and Biostatistics. 148-158
Electronic Edition (Springer LINK) BibTeX
Pedro J. Molina, Santiago Meliá, Oscar Pastor:
User Interface Conceptual Patterns. 159-172
Electronic Edition (Springer LINK) BibTeX
Nailja Luth:
Monitoring Human Faces from Multi-view Image Sequences. 173-184
Electronic Edition (Springer LINK) BibTeX
David Ahlström, Martin Hitz, Gerhard Leitner:
Improving Mouse Navigation - A Walk through the "Hilly Screen Landscape". 185-195
Electronic Edition (Springer LINK) BibTeX
David J. Chatting, Jeremy M. Thorne:
Designing User Interaction for Face Tracking Applications. 196-207
Electronic Edition (Springer LINK) BibTeX
Xavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide:
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. 208-222
Electronic Edition (Springer LINK) BibTeX
Shamus P. Smith, Michael D. Harrison:
Blending Descriptive and Numeric Analysis in Human Reliability Design. 223-237
Electronic Edition (Springer LINK) BibTeX
Alan J. Dix:
Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces. 238-252
Electronic Edition (Springer LINK) BibTeX
Thomas Heider, Thomas Kirste:
Architecture Considerations for Interoperable Multi-modal Assistant Systems. 253-268
Electronic Edition (Springer LINK) BibTeX