Cover Image

QR Code

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings /

This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. The 21 revised full papers and 10 late breaking and experience report papers presented were carefu...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Graham, T. C. Nicholas. (Editor, http://id.loc.gov/vocabulary/relators/edt), Palanque, Philippe. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:	1st ed. 2008.
Series:	Programming and Software Engineering ; 5136
Subjects:	User interfaces (Computer systems). Computer communication systems. Software engineering. Multimedia information systems. Information storage and retrieval. User Interfaces and Human Computer Interaction. Computer Communication Networks. Software Engineering/Programming and Operating Systems. Multimedia Information Systems. Information Storage and Retrieval. Software Engineering.
Online Access:	https://doi.org/10.1007/978-3-540-70569-7

Similar Items

Information Retrieval Meets Information Visualization PROMISE Winter School 2012, Zinal, Switzerland, January 23-27, 2012, Revised Tutorial Lectures / edited by Maristella Agosti, Nicola Ferro, Pamela Forner, Henning Müller, Giuseppe Santucci.
Published: (2013)

Human Interface and the Management of Information Information and Interaction Design, 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Sakae Yamamoto.
Published: (2013)

Design, User Experience, and Usability: Novel User Experiences 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part II / edited by Aaron Marcus.
Published: (2016)

Design, User Experience, and Usability: Technological Contexts 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part III / edited by Aaron Marcus.
Published: (2016)

Design, User Experience, and Usability: Design Thinking and Methods 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part I / edited by Aaron Marcus.
Published: (2016)

Design, User Experience, and Usability: Understanding Users and Contexts 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III / edited by Aaron Marcus, Wentao Wang.
Published: (2017)

Design, User Experience, and Usability: Theory, Methodology, and Management 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / edited by Aaron Marcus, Wentao Wang.
Published: (2017)

Design, User Experience, and Usability: Designing Pleasurable Experiences 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / edited by Aaron Marcus, Wentao Wang.
Published: (2017)

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers / edited by Gavin Doherty, Ann Blandford.
Published: (2007)

Digitisation of Culture: Namibian and International Perspectives edited by Dharm Singh Jat, Jürgen Sieck, Hippolyte N'Sung-Nza Muyingi, Heike Winschiers-Theophilus, Anicia Peters, Shawulu Nggada.
Published: (2018)

Adaptive Hypermedia and Adaptive Web-Based Systems 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008, Proceedings / edited by Wolfgang Nejdl, Judy Kay, Pearl Pu, Eelco Herder.
Published: (2008)

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / edited by Julie A. Jacko.
Published: (2007)

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III / edited by Julie A. Jacko.
Published: (2007)

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II / edited by Julie A. Jacko.
Published: (2007)

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV / edited by Julie A. Jacko.
Published: (2007)

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by Vincent G. Duffy.
Published: (2013)

Foundations of Augmented Cognition 5th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings / edited by Dylan D. Schmorrow, Cali M. Fidopiastis.
Published: (2013)

Design, User Experience, and Usability: User Experience in Novel Technological Environments Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III / edited by Aaron Marcus.
Published: (2013)

Haptic and Audio Interaction Design Third International Workshop, HAID 2008 Jyväskylä, Finland, September 15-16, 2008 Proceedings / edited by Antti Pirhonen, Stephen Brewster.
Published: (2008)

Digital Convergence - Libraries of the Future edited by Rae Earnshaw, John Vince.
Published: (2008)

Advances in Multimedia Modeling 14th International Multimedia Modeling Conference, MMM 2008, Kyoto, Japan, January 9-11, 2008, Proceedings / edited by Shin'ichi Satoh, Frank Nack, Minoru Etoh.
Published: (2008)

Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / edited by Michael J. Smith, Gavriel Salvendy.
Published: (2007)

Changing Television Environments 6th European Conference, EuroITV 2008, Salzburg, Austria, July 3-4, 2008, Proceedings / edited by Manfred Tscheligi, Marianna Obrist, Arthur Lugmayr.
Published: (2008)

Advanced Visual Interfaces. Supporting Big Data Applications AVI 2016 Workshop, AVI-BDA 2016, Bari, Italy, June 7–10, 2016, Revised Selected Papers / edited by Marco X. Bornschlegl, Felix C. Engel, Raymond Bond, Matthias L. Hemmje.
Published: (2016)

Digital Libraries: Research and Development First International DELOS Conference, Pisa, Italy, February 13-14, 2007, Revised Selected Papers / edited by Costantino Thanos, Francesca Borri, Leonardo Candela.
Published: (2007)

Culture, Technology, Communication. Common World, Different Futures 10th IFIP WG 13.8 International Conference, CaTaC 2016, London, UK, June 15-17, 2016, Revised Selected Papers / edited by José Abdelnour-Nocera, Michele Strano, Charles Ess, Maja Van der Velden, Herbert Hrachovec.
Published: (2016)

MediaSync Handbook on Multimedia Synchronization / edited by Mario Montagud, Pablo Cesar, Fernando Boronat, Jack Jansen.
Published: (2018)

Distributed User Interfaces: Usability and Collaboration edited by María D. Lozano, Jose A. Gallud, Ricardo Tesoriero, Victor M.R. Penichet.
Published: (2013)

Interactivity, Collaboration, and Authoring in Social Media by Krystina Madej.
by: Madej, Krystina., et al.
Published: (2016)

Business Process Models Change Management / by Christian Gerth.
by: Gerth, Christian., et al.
Published: (2013)

Design, User Experience, and Usability: Health, Learning, Playing, Cultural, and Cross-Cultural User Experience Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by Aaron Marcus.
Published: (2013)

Distributed, Ambient, and Pervasive Interactions Third International Conference, DAPI 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings / edited by Norbert Streitz, Panos Markopoulos.
Published: (2015)

Distributed, Ambient and Pervasive Interactions 4th International Conference, DAPI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / edited by Norbert Streitz, Panos Markopoulos.
Published: (2016)

Haptic and Audio Interaction Design Second International Workshop, HAID 2007 Seoul, Korea, November 29-30, 2007 Proceedings / edited by Ian Oakley, Stephen Brewster.
Published: (2007)

Distributed, Ambient and Pervasive Interactions 5th International Conference, DAPI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017, Proceedings / edited by Norbert Streitz, Panos Markopoulos.
Published: (2017)

Distributed, Ambient, and Pervasive Interactions Second International Conference, DAPI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings / edited by Norbert Streitz, Panos Markopoulos.
Published: (2014)

Intelligent Tutoring Systems 9th International Conference on Intelligent Tutoring Systems, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings / edited by Beverly Woolf, Esma Aimeur, Roger Nkambou, Susanne Lajoie.
Published: (2008)

Arts and Technology Third International Conference, ArtsIT 2013, Milan, Bicocca, Italy, March 21-23, 2013, Revised Selected Papers / edited by Giorgio De Michelis, Francesco Tisato, Andrea Bene, Diego Bernini.
Published: (2013)

Ambient Intelligence 12th European Conference, AmI 2015, Athens, Greece, November 11-13, 2015, Proceedings / edited by Boris De Ruyter, Achilles Kameas, Periklis Chatzimisios, Irene Mavrommati.
Published: (2015)

Blended Learning: Educational Innovation for Personalized Learning 12th International Conference, ICBL 2019, Hradec Kralove, Czech Republic, July 2–4, 2019, Proceedings / edited by Simon K. S. Cheung, Lap-Kei Lee, Ivana Simonova, Tomas Kozel, Lam-For Kwok.
Published: (2019)