![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
6th DSV-IS 1999: Braga, Portugal
- David J. Duke, Angel R. Puerta:
Design, Specification and Verification of Interactive Systems'99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999. Springer 1999, ISBN 3-211-83405-2 - Mandayam A. Srinivasan, Cagatay Basdogan, Chih-Hao Ho:
Haptic Interactions in the Real and Virtual Worlds. 1-16 - Mike Hollier:
Matching technology to people for telepresence. 17 - Charles Albert Wüthrich:
An analysis and a Model of 3D Interaction Methods and Devices for Virtual Reality. 18-29 - Mieke Massink, David J. Duke, Shamus P. Smith
:
Towards Hybrid Interface Specifications for Virtual Environments. 30-51 - Chris Roast, Jawed I. A. Siddiqi:
Contrasting Models for Visualization (Seeing the wood through the trees). 52-66 - Miguel Cabrera, Juan Carlos Torres, Miguel Gea:
Towards User Interfaces for Rapid Prototyping from Algebraic Specifications. 67-83 - Jean Vanderdonckt:
Computer-Aided Design of Menu Bar and Pull-Down Menus for Business Oriented Applications. 84-99 - Pablo Castells, Pedro A. Szekely:
Presentation Models by Example. 100-116 - Panos Markopoulos, Paul Shrubsole, John H. M. de Vet:
Refinement of the PAC model for the component design and specification of television based interfaces. 117-132 - Tore Urnes, T. C. Nicholas Graham:
Flexibility Mapping Synchronous Groupware Architectures to Distributed Implementations. 133-147 - Bruno d'Ausbourg, Jacques Cazin:
Using TRIO Specifications to Generate Test Cases for an Interactive System. 148-166 - José Creissac Campos, Michael D. Harrison:
Modelling and Analysing Connectivity in an Audio-Visual Communications System. 167-188 - Fabio Paternò, Carmen Santoro, Robert E. Fields:
Analysing User Deviations in Interactive Safety-Critical Applications. 189-204 - Francis Jambon, Patrick Girard, Yohann Boisdron:
Dialogue Validation from Task Analysis. 205-224 - Peter Forbrig:
Task and Object-Oriented Development of Interactive Systems - How many models are necessary? 225-237 - Martijn van Welie, Gerrit C. van der Veer, Anton Eliëns:
Usability properties in dialogue model. 238-253 - Jon Rowson, Peter Johnson, Graham White:
Cross-contextual reference in human-computer interaction. 254-261 - Miguel Gea, Francisco Luis Gutiérrez Vela, Juan Carlos Torres, Nicolás Padilla, Miguel Cabrera:
Modelisation of co-operative work. 262-267 - David J. Duke:
Discussion topics for the DSV-IS'99 working groups. 268-269 - Shamus P. Smith
:
Working group 1 report. 270-275 - Graham White:
Working group 2 report. 276-277 - David A. Duce:
Working group 3 report. 278-280
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.