Interactive Systems: Design, Specification, and Verification : 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 - Brossura

Brossura

ISBN 10: 3662190427 ISBN 13: 9783662190425

Casa editrice: Springer, 2014

Riassunto

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.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2014
• Lingua: Inglese
• ISBN 10: 3662190427
• ISBN 13: 9783662190425
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile