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
- Ann Blandford, Paul Curzon, Joanne Hyde, George Papatzanis:
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System.
1-14

- Emmanuel Dubois, Cédric Bach, Philippe Truillet:
Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums.
15-28

- Antonio Ferreira, Pedro Antunes:
An Attentive Groupware Device to Mitigate Information Overload.
29-42

- Thomas Memmel, Jean Vanderdonckt, Harald Reiterer:
Multi-fidelity User Interface Specifications.
43-57

- Anke Dittmar, Toralf Hübner, Peter Forbrig:
HOPS: A Prototypical Specification Tool for Interactive Systems.
58-71

- José Creissac Campos, Michael D. Harrison:
Systematic Analysis of Control Panel Interfaces Using Formal Tools.
72-85

- Alexandre Scaico, Maria de Fátima Queiroz Vieira, Marckson R. F. de Sousa, Charles Santoni:
Investigating System Navigation Ergonomics through Model Verification.
86-91

- Daniel Reichart, Anke Dittmar, Peter Forbrig, Maik Wurdel:
Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications.
92-95

- Josefina Guerrero García, Jean Vanderdonckt, Juan Manuel González-Calleros, Marco Winckler:
Towards a Library of Workflow User Interface Patterns.
96-101

- 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

- Elbert-Jan Hennipman, Evert-Jan Oppelaar, Gerrit C. van der Veer:
Pattern Languages as Tool for Discount Usability Engineering.
108-120

- Marco Winckler, Jean Vanderdonckt, Adrian Stanciulescu, Francisco M. Trindade:
Cascading Dialog Modeling with UsiXML.
121-135

- 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

- Michael Dunlavey:
Lightweight Coding of Structurally Varying Dialogs.
149-154

- Geert Vanderhulst, Kris Luyten, Karin Coninx:
ReWiRe: Designing Reactive Systems for Pervasive Environments.
155-160

- 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

- Tony McBryan, Philip D. Gray:
A Model-Based Approach to Supporting Configuration in Ubiquitous Systems.
167-180

- Giulio Mori, Fabio Paternò, Lucio Davide Spano:
Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications.
181-193

- Gavin J. Doherty, José Creissac Campos, Michael D. Harrison:
Resources for Situated Actions.
194-207

- 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

- Alexandre Demeure, Gaëlle Calvary, Karin Coninx:
COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces.
225-237

- Marco Blumendorf, Grzegorz Lehmann, Sebastian Feuerstack, Sahin Albayrak:
Executable Models for Human-Computer Interaction.
238-251

- 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

- Benjamin Tissoires, Stéphane Conversy:
Graphic Rendering Considered as a Compilation Chain.
267-280

- 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

- Christophe Hurter, Stéphane Conversy:
Towards Characterizing Visualizations.
287-293

- Gregor Buchholz, Stefan Propp:
Towards Usability Evaluation for Smart Appliance Ensembles.
294-299

- Maik Wurdel, Daniel Sinnig, Peter Forbrig:
Task Model Refinement with Meta Operators.
300-305

- Grzegorz Lehmann, Marco Blumendorf, Sebastian Feuerstack, Sahin Albayrak:
Utilizing Dynamic Executable Models for User Interface Development.
306-309

Last update Sat May 18 03:54:49 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page