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