ENGLISH

Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers

By Kris Luyten , Karin Coninx (auth.) , Chris Johnson (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2001
ISBN
3540428070, 9783540428077
DOI
10.1007/3-540-45522-1
Open Library ID
OL18166602M
Language
english
Format
PDF
Filesize
2 MB (2460220 bytes)
Series
Lecture Notes in Computer Science 2220
Edition
1
Pages
221\230
Library
Kolxo3
Time added
2011-01-23 12:00:00
User Interfaces and Human Computer Interaction; Co

Description

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001. The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives.

Similar books