15. DSV-IS 2008:
Kingston,
Ontario,
Canada
T. C. Nicholas Graham, Philippe A. Palanque (Eds.):
Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers.
Lecture Notes in Computer Science 5136 Springer 2008, ISBN 978-3-540-70568-0 BibTeX
- Ann Blandford, Paul Curzon, Joanne Hyde, George Papatzanis:
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System.
1-14
Electronic Edition (link) BibTeX
- Emmanuel Dubois, Cédric Bach, Philippe Truillet:
Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums.
15-28
Electronic Edition (link) BibTeX
- Antonio Ferreira, Pedro Antunes:
An Attentive Groupware Device to Mitigate Information Overload.
29-42
Electronic Edition (link) BibTeX
- Thomas Memmel, Jean Vanderdonckt, Harald Reiterer:
Multi-fidelity User Interface Specifications.
43-57
Electronic Edition (link) BibTeX
- Anke Dittmar, Toralf Hübner, Peter Forbrig:
HOPS: A Prototypical Specification Tool for Interactive Systems.
58-71
Electronic Edition (link) BibTeX
- José Creissac Campos, Michael D. Harrison:
Systematic Analysis of Control Panel Interfaces Using Formal Tools.
72-85
Electronic Edition (link) BibTeX
- Alexandre Scaico, Maria de F. Q. Vieira, Marckson R. F. de Sousa, Charles Santoni:
Investigating System Navigation Ergonomics through Model Verification.
86-91
Electronic Edition (link) BibTeX
- Daniel Reichart, Anke Dittmar, Peter Forbrig, Maik Wurdel:
Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications.
92-95
Electronic Edition (link) BibTeX
- Josefina Guerrero García, Jean Vanderdonckt, Juan Manuel González-Calleros, Marco Winckler:
Towards a Library of Workflow User Interface Patterns.
96-101
Electronic Edition (link) BibTeX
- Leila Jemni Ben Ayed, Fatma Siala:
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.
102-107
Electronic Edition (link) BibTeX
- Elbert-Jan Hennipman, Evert-Jan Oppelaar, Gerrit C. van der Veer:
Pattern Languages as Tool for Discount Usability Engineering.
108-120
Electronic Edition (link) BibTeX
- Marco Winckler, Jean Vanderdonckt, Adrian Stanciulescu, Francisco M. Trindade:
Cascading Dialog Modeling with UsiXML.
121-135
Electronic Edition (link) BibTeX
- Gilles Tabart, Stéphane Conversy, Jean-Luc Vinot, Sylvie Athènes:
Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors.
136-148
Electronic Edition (link) BibTeX
- Michael Dunlavey:
Lightweight Coding of Structurally Varying Dialogs.
149-154
Electronic Edition (link) BibTeX
- Geert Vanderhulst, Kris Luyten, Karin Coninx:
ReWiRe: Designing Reactive Systems for Pervasive Environments.
155-160
Electronic Edition (link) BibTeX
- Jan Van den Bergh, Mieke Haesen, Kris Luyten, Sofie Notelaers, Karin Coninx:
Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces.
161-166
Electronic Edition (link) BibTeX
- Tony McBryan, Philip D. Gray:
A Model-Based Approach to Supporting Configuration in Ubiquitous Systems.
167-180
Electronic Edition (link) BibTeX
- Giulio Mori, Fabio Paternò, Lucio Davide Spano:
Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications.
181-193
Electronic Edition (link) BibTeX
- Gavin J. Doherty, José Creissac Campos, Michael D. Harrison:
Resources for Situated Actions.
194-207
Electronic Edition (link) BibTeX
- David Navarre, Philippe A. Palanque, Jean-François Ladry, Sandra Basnyat:
An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces.
208-224
Electronic Edition (link) BibTeX
- Alexandre Demeure, Gaëlle Calvary, Karin Coninx:
COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces.
225-237
Electronic Edition (link) BibTeX
- Marco Blumendorf, Grzegorz Lehmann, Sebastian Feuerstack, Sahin Albayrak:
Executable Models for Human-Computer Interaction.
238-251
Electronic Edition (link) BibTeX
- Satoshi Sakurai, Yuichi Itoh, Yoshifumi Kitamura, Miguel A. Nacenta, Tokuo Yamaguchi, Sriram Subramanian, Fumio Kishino:
A Middleware for Seamless Use of Multiple Displays.
252-266
Electronic Edition (link) BibTeX
- Benjamin Tissoires, Stéphane Conversy:
Graphic Rendering Considered as a Compilation Chain.
267-280
Electronic Edition (link) BibTeX
- Frédéric Jourde, Yann Laurillau, Alberto L. Morán, Laurence Nigay:
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations.
281-286
Electronic Edition (link) BibTeX
- Christophe Hurter, Stéphane Conversy:
Towards Characterizing Visualizations.
287-293
Electronic Edition (link) BibTeX
- Gregor Buchholz, Stefan Propp:
Towards Usability Evaluation for Smart Appliance Ensembles.
294-299
Electronic Edition (link) BibTeX
- Maik Wurdel, Daniel Sinnig, Peter Forbrig:
Task Model Refinement with Meta Operators.
300-305
Electronic Edition (link) BibTeX
- Grzegorz Lehmann, Marco Blumendorf, Sebastian Feuerstack, Sahin Albayrak:
Utilizing Dynamic Executable Models for User Interface Development.
306-309
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:07:38 2009
by Michael Ley (ley@uni-trier.de)