Items related to Interactive Systems: Design, Specification, and Verification...

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

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

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540002666: Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002: 2545 (Lecture Notes in Computer Science, 2545)

Featured Edition

ISBN 10:  3540002669 ISBN 13:  9783540002666
Publisher: Springer, 2002
Softcover