DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop
- Publisher
- Springer
- Website
- Year
- 2008
- Period
- July 16-18
- Place
- Kingston, Canada
- ISBN
- 978-3-540-70568-0
- 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
Blandford, Ann, Curzon, Paul, Hyde, Joanne, Papatzanis, George (2008): EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 1-14. https://dx.doi.org/10.1007/978-3-540-70569-7_1
Ayed, Leila Jemni Ben, Siala, Fatma (2008): Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combin. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 102-107. https://dx.doi.org/10.1007/978-3-540-70569-7_10
Hennipman, Elbert-Jan, Oppelaar, Evert-Jan, Veer, Gerrit van der (2008): Pattern Languages as Tool for Discount Usability Engineering. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 108-120. https://dx.doi.org/10.1007/978-3-540-70569-7_11
Winckler, Marco, Vanderdonckt, Jean M., Stanciulescu, Adrian, Trindade, Francisco M. (2008): Cascading Dialog Modeling with UsiXML. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 121-135. https://dx.doi.org/10.1007/978-3-540-70569-7_12
Tabart, Gilles, Conversy, Stephane, Vinot, Jean-Luc, Athènes, Sylvie (2008): Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuni. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 136-148. https://dx.doi.org/10.1007/978-3-540-70569-7_13
Dunlavey, Michael (2008): Lightweight Coding of Structurally Varying Dialogs. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 149-154. https://dx.doi.org/10.1007/978-3-540-70569-7_14
Dubois, Emmanuel, Bach, Cedric, Truillet, Philippe (2008): Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 15-28. https://dx.doi.org/10.1007/978-3-540-70569-7_2
Vanderhulst, Geert, Luyten, Kris, Coninx, Karin (2008): ReWiRe: Designing Reactive Systems for Pervasive Environments. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 155-160. https://dx.doi.org/10.1007/978-3-540-70569-7_15
Bergh, Jan Van den, Haesen, Mieke, Luyten, Kris, Notelaers, Sofie, Coninx, Karin (2008): Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 161-166. https://dx.doi.org/10.1007/978-3-540-70569-7_16
McBryan, Tony, Gray, Philip D. (2008): A Model-Based Approach to Supporting Configuration in Ubiquitous Systems. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 167-180. https://dx.doi.org/10.1007/978-3-540-70569-7_17
Mori, Giulio, Paterno, Fabio, Spano, Lucio Davide (2008): Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Ap. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 181-193. https://dx.doi.org/10.1007/978-3-540-70569-7_18
Doherty, Gavin, Campos, José Creissac, Harrison, Michael D. (2008): Resources for Situated Actions. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 194-207. https://dx.doi.org/10.1007/978-3-540-70569-7_19
Navarre, David, Palanque, Philippe A., Ladry, Jean-François, Basnyat, Sandra (2008): An Architecture and a Formal Description Technique for the Design and Implementation of Re. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 208-224. https://dx.doi.org/10.1007/978-3-540-70569-7_20
Demeure, Alexandre, Calvary, Gaelle, Coninx, Karin (2008): COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interf. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 225-237. https://dx.doi.org/10.1007/978-3-540-70569-7_21
Blumendorf, Marco, Lehmann, Grzegorz, Feuerstack, Sebastian, Albayrak, Sahin (2008): Executable Models for Human-Computer Interaction. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 238-251. https://dx.doi.org/10.1007/978-3-540-70569-7_22
Sakurai, Satoshi, Itoh, Yuichi, Kitamura, Yoshifumi, Nacenta, Miguel A., Yamaguchi, Tokuo, Subramanian, Sriram, Kishino, Fumio (2008): A Middleware for Seamless Use of Multiple Displays. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 252-266. https://dx.doi.org/10.1007/978-3-540-70569-7_23
Tissoires, Benjamin, Conversy, Stephane (2008): Graphic Rendering Considered as a Compilation Chain. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 267-280. https://dx.doi.org/10.1007/978-3-540-70569-7_24
Jourde, Frédéric, Laurillau, Yann, Morán, Alberto L., Nigay, Laurence (2008): Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 281-286. https://dx.doi.org/10.1007/978-3-540-70569-7_25
HURTER, Christophe, Conversy, Stephane (2008): Towards Characterizing Visualizations. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 287-293. https://dx.doi.org/10.1007/978-3-540-70569-7_26
Ferreira, Antonio, Antunes, Pedro (2008): An Attentive Groupware Device to Mitigate Information Overload. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 29-42. https://dx.doi.org/10.1007/978-3-540-70569-7_3
Wurdel, Maik, Sinnig, Daniel, Forbrig, Peter (2008): Task Model Refinement with Meta Operators. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 300-305. https://dx.doi.org/10.1007/978-3-540-70569-7_28
Lehmann, Grzegorz, Blumendorf, Marco, Feuerstack, Sebastian, Albayrak, Sahin (2008): Utilizing Dynamic Executable Models for User Interface Development. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 306-309. https://dx.doi.org/10.1007/978-3-540-70569-7_29
Memmel, Thomas, Vanderdonckt, Jean M., Reiterer, Harald (2008): Multi-fidelity User Interface Specifications. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 43-57. https://dx.doi.org/10.1007/978-3-540-70569-7_4
Dittmar, Anke, Hübner, Toralf, Forbrig, Peter (2008): HOPS: A Prototypical Specification Tool for Interactive Systems. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 58-71. https://dx.doi.org/10.1007/978-3-540-70569-7_5
Campos, José Creissac, Harrison, Michael D. (2008): Systematic Analysis of Control Panel Interfaces Using Formal Tools. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 72-85. https://dx.doi.org/10.1007/978-3-540-70569-7_6
Scaico, Alexandre, Vieira, Maria de F. Q., Sousa, Marckson R. F. de, Santoni, Charles (2008): Investigating System Navigation Ergonomics through Model Verification. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 86-91. https://dx.doi.org/10.1007/978-3-540-70569-7_7
Reichart, Daniel, Dittmar, Anke, Forbrig, Peter, Wurdel, Maik (2008): Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 92-95. https://dx.doi.org/10.1007/978-3-540-70569-7_8
García, Josefina Guerrero, Vanderdonckt, Jean M., González-Calleros, Juan Manuel, Winckler, Marco (2008): Towards a Library of Workflow User Interface Patterns. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 96-101. https://dx.doi.org/10.1007/978-3-540-70569-7_9