Interactive systems : design, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing,...
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
2545 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Interactive systems, design, specification, and verification, 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002, revised papers, Peter Forbrig ... [et al.], Berlin, Springer, 2002, 1 vol. (X-267 p.), Lecture notes in computer science, 3-540-00266-9 • Interactive Systems: Design, Specification, and Verification, Texte imprimé, 9783662190425 |
Indholdsfortegnelse:
- From a Formal User Model to Design Rules
- A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling
- Adaptive User Interface for Mobile Devices
- Migratable User Interface Descriptions in Component-Based Development
- Task Modelling in Multiple Contexts of Use
- Notational Support for the Design of Augmented Reality Systems
- Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing
- Combining Compound Conceptual User Interface Components with Modelling Patterns A Promising Direction for Model-Based Cross-Platform User Interface Development
- Multiple User Interfaces: Towards a Task-Driven and Patterns-Oriented Design Model
- Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness
- User Interface Design Patterns for Interactive Modeling in Demography and Biostatistics
- User Interface Conceptual Patterns
- Monitoring Human Faces from Multi-view Image Sequences
- Improving Mouse Navigation A Walk through the Hilly Screen Landscape
- Designing User Interaction for Face Tracking Applications
- Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems
- Blending Descriptive and Numeric Analysis in Human Reliability Design
- Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces
- Architecture Considerations for Interoperable Multi-modal Assistant Systems.