default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th DSV-IS 2008: Kingston, Ontario, Canada
- T. C. Nicholas Graham, Philippe A. Palanque:
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 K. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-01 23:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
