DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop
- Publisher
- Springer
- Website
- Year
- 2002
- Period
- June 12-14
- Place
- Rostock, Germany
- ISBN
- 3-540-00266-9
- Series
- DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems
- DOI
- Volume
- Copyright info
Description
All years
Articles
Curzon, Paul, Blandford, Ann (2002): From a Formal User Model to Design Rules. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 1-15. https://link.springer.de/link/service/series/0558/bibs/2545/25450001.htm
Nilsson, Erik G. (2002): Combining Compound Conceptual User Interface Components with Modelling Patterns - A Promis. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 104-117. https://link.springer.de/link/service/series/0558/bibs/2545/25450104.htm
Seffah, Ahmed, Forbrig, Peter (2002): Multiple User Interfaces: Towards a Task-Driven and Patterns-Oriented Design Model. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 118-132. https://link.springer.de/link/service/series/0558/bibs/2545/25450118.htm
Walenstein, Andrew (2002): Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 133-147. https://link.springer.de/link/service/series/0558/bibs/2545/25450133.htm
Boyko, Sergiy, Forbrig, Peter, Yashin, Anatoli (2002): User Interface Design Patterns for Interactive Modeling in Demography and Biostatistics. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 148-158. https://link.springer.de/link/service/series/0558/bibs/2545/25450148.htm
Molina, Pedro J., Meliá, Santiago, Pastor, Oscar (2002): User Interface Conceptual Patterns. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 159-172. https://link.springer.de/link/service/series/0558/bibs/2545/25450159.htm
Garrido, José Luis, Gea, Miguel (2002): A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System . In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 16-28. https://link.springer.de/link/service/series/0558/bibs/2545/25450016.htm
Luth, Nailja (2002): Monitoring Human Faces from Multi-view Image Sequences. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 173-184. https://link.springer.de/link/service/series/0558/bibs/2545/25450173.htm
Ahlstrom, David, Hitz, Martin, Leitner, Gerhard (2002): Improving Mouse Navigation - A Walk through the \"Hilly Screen Landscape. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 185-195. https://link.springer.de/link/service/series/0558/bibs/2545/25450185.htm
Chatting, David J., Thorne, Jeremy M. (2002): Designing User Interaction for Face Tracking Applications. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 196-207. https://link.springer.de/link/service/series/0558/bibs/2545/25450196.htm
Lacaze, Xavier, Palanque, Philippe A., Navarre, David, Bastide, Remi (2002): Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive . In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 208-222. https://link.springer.de/link/service/series/0558/bibs/2545/25450208.htm
Smith, Shamus P., Harrison, Michael D. (2002): Blending Descriptive and Numeric Analysis in Human Reliability Design. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 223-237. https://link.springer.de/link/service/series/0558/bibs/2545/25450223.htm
Dix, Alan J. (2002): Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 238-252. https://link.springer.de/link/service/series/0558/bibs/2545/25450238.htm
Heider, Thomas, Kirste, Thomas (2002): Architecture Considerations for Interoperable Multi-modal Assistant Systems. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 253-268. https://link.springer.de/link/service/series/0558/bibs/2545/25450253.htm
Mitrovic, Nikola, Mena, Eduardo (2002): Adaptive User Interface for Mobile Devices. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 29-43. https://link.springer.de/link/service/series/0558/bibs/2545/25450029.htm
Luyten, Kris, Vandervelpen, Chris, Coninx, Karin (2002): Migratable User Interface Descriptions in Component-Based Development. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 44-58. https://link.springer.de/link/service/series/0558/bibs/2545/25450044.htm
Souchon, Nathalie, Limbourg, Quentin, Vanderdonckt, Jean M. (2002): Task Modelling in Multiple Contexts of Use. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 59-73. https://link.springer.de/link/service/series/0558/bibs/2545/25450059.htm
Dubois, Emmanuel, Silva, Paulo Pinheiro da, Gray, Philip D. (2002): Notational Support for the Design of Augmented Reality Systems. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 74-88. https://link.springer.de/link/service/series/0558/bibs/2545/25450074.htm
Braubach, Lars, Pokahr, Alexander, Moldt, Daniel, Bartelt, Andreas, Lamersdorf, Winfried (2002): Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 89-103. https://link.springer.de/link/service/series/0558/bibs/2545/25450089.htm