Search results for "DSV-IS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.)	Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers	DSV-IS	2003	DBLP DOI BibTeX RDF
1	José Pascual Molina, Pascual González, María Dolores Lozano 0001, Francisco Montero Simarro, Víctor López-Jaquero	Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodology.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Bruno Rodrigues De Araújo, André M. C. Campos, Joaquim A. Jorge	MIKE: A Multimodal Cinematographic Editor for Virtual Worlds.	DSV-IS	2003	DBLP DOI BibTeX RDF	Cinematographic camera movement, Animation, Graphical user interfaces, Multimodal interaction
1	Ioannis Deliyannis, J. Harvey, Mike F. Webster	Multimedia Environments and Interactive Scientific Presentation of Industrially-Based Data Sets.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Nathalie Souchon, Jean Vanderdonckt	A Review of XML-compliant User Interface Description Languages.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	José Creissac Campos, Gavin J. Doherty	Reasoning about Dynamic Information Displays.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Hallvard Trætteberg	Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach.	DSV-IS	2003	DBLP DOI BibTeX RDF	UML, Statecharts, user interface model, dialog model
1	Antony Courtney	Functionally Modeled User Interfaces.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Francisco Montero Simarro, Víctor López-Jaquero, José Pascual Molina, Pascual González	An Approach to Develop User Interfaces with Plasticity.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Marco Winckler, Philippe A. Palanque	StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Pedro J. Molina, Jorge Belenguer, Oscar Pastor 0001	Describing Just-UI Concepts Using a Task Notation.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Bengt Göransson, Magnus Lif, Jan Gulliksen	Usability Design - Extending Rational Unified Process with a New Discipline.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Shamus P. Smith, Michael D. Harrison	Blending Descriptive and Numeric Analysis in Human Reliability Design.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Andrew Walenstein	Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Pedro J. Molina, Santiago Meliá, Oscar Pastor 0001	User Interface Conceptual Patterns.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Thomas Heider, Thomas Kirste	Architecture Considerations for Interoperable Multi-modal Assistant Systems.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	David J. Chatting, Jeremy M. Thorne	Designing User Interaction for Face Tracking Applications.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Nailja Luth	Monitoring Human Faces from Multi-view Image Sequences.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Nikola Mitrovic, Eduardo Mena	Adaptive User Interface for Mobile Devices.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Erik G. Nilsson	Combining Compound Conceptual User Interface Components with Modelling Patterns - A Promising Direction for Model-Based Cross-Platform User Interface Development.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Ahmed Seffah, Peter Forbrig	Multiple User Interfaces: Towards a Task-Driven and Patterns-Oriented Design Model.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Paul Curzon, Ann Blandford	From a Formal User Model to Design Rules.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Alan J. Dix	Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Nathalie Souchon, Quentin Limbourg, Jean Vanderdonckt	Task Modelling in Multiple Contexts of Use.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Lars Braubach, Alexander Pokahr, Daniel Moldt, Andreas Bartelt, Winfried Lamersdorf	Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Xavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide	Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	David Ahlström, Martin Hitz, Gerhard Leitner	Improving Mouse Navigation - A Walk through the "Hilly Screen Landscape".	DSV-IS	2002	DBLP DOI BibTeX RDF
1	José Luis Garrido, Miguel Gea	A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Sergiy Boyko, Peter Forbrig, Anatoli Yashin	User Interface Design Patterns for Interactive Modeling in Demography and Biostatistics.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Emmanuel Dubois 0001, Paulo Pinheiro da Silva, Philip D. Gray	Notational Support for the Design of Augmented Reality Systems.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Peter Forbrig, Quentin Limbourg, Bodo Urban, Jean Vanderdonckt (eds.)	Interactive Systems. Design, Specification, and Verification, 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Kris Luyten, Chris Vandervelpen, Karin Coninx	Migratable User Interface Descriptions in Component-Based Development.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	Quentin Limbourg, Costin Pribeanu, Jean Vanderdonckt	Towards Uniformed Task Models in a Model-Based Approach.	DSV-IS	2001	DBLP DOI BibTeX RDF
1	David Navarre, Philippe A. Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide	A Tool Suite for Integrating Task and System Models through Scenarios.	DSV-IS	2001	DBLP DOI BibTeX RDF
1	José Luis Garrido, Miguel Gea	Modelling Dynamic Group Behaviours.	DSV-IS	2001	DBLP DOI BibTeX RDF
1	Chris W. Johnson 0001 (eds.)	Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers	DSV-IS	2001	DBLP DOI BibTeX RDF
1	Andreas Müller 0007, Peter Forbrig, Clemens H. Cap	Model-Based User Interface Design Using Markup Concepts.	DSV-IS	2001	DBLP DOI BibTeX RDF
1	Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti	Reasoning about Interactive Systems with Stochastic Models.	DSV-IS	2001	DBLP DOI BibTeX RDF
1	Min Du 0002, David England	Temporal Patterns for Complex Interaction Design.	DSV-IS	2001	DBLP DOI BibTeX RDF
1	Costin Pribeanu, Quentin Limbourg, Jean Vanderdonckt	Task Modelling for Context-Sensitive User Interfaces.	DSV-IS	2001	DBLP DOI BibTeX RDF
1	Kris Luyten, Karin Coninx	An XML-Based Runtime User Interface Description Language for Mobile Computing Devices.	DSV-IS	2001	DBLP DOI BibTeX RDF
1	Alistair G. Sutcliffe	Heuristic Evaluation of Website Attractiveness and Usability.	DSV-IS	2001	DBLP DOI BibTeX RDF
1	Harold W. Thimbleby	Affordance and Symmetry.	DSV-IS	2001	DBLP DOI BibTeX RDF
1	Maria de F. Q. V. Turnell, Alexandre Scaico, Marckson R. F. de Sousa, Angelo Perkusich	Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis.	DSV-IS	2001	DBLP DOI BibTeX RDF
1	Kevin A. Schneider, James R. Cordy	Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems.	DSV-IS	2001	DBLP DOI BibTeX RDF
1	Frédéric Vernier, Laurence Nigay	A Framework for the Combination and Characterization of Output Modalities.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Timothy N. Wright, T. C. Nicholas Graham, Tore Urnes	Specifying Temporal Behaviour in Software Architectures for Groupware Systems.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Nuno Jardim Nunes, João Falcão e Cunha	Wisdom - A UML Based Architecture for Interactive Systems.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Maria Kutar, Carol Britton, Chrystopher L. Nehaniv	Specifying Multiple Time Granularities in Interactive Systems.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Chris W. Johnson 0001	Questioning the Foundations of Utility for Quality of Service in Interface Development.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Murray Crease, Philip D. Gray, Stephen A. Brewster	A Toolkit of Mechanism and Context Independent Widgets.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Karsten Loer, Michael D. Harrison	Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Philippe A. Palanque, Fabio Paternò (eds.)	Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Anke Ditmar	More Precise Descriptions of Temporal Relations within Task Models.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Quentin Limbourg, Jean Vanderdonckt, Nathalie Souchon	The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Fabio Paternò, Carmen Santoro	Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Joanna Lumsden, Philip D. Gray	SUIT - Context Sensitive Evaluation of User Interface Development Tools.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy	Structuring Interactive Systems Specifications for Executability and Prototypability.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	James S. Willans, Michael D. Harrison	Verifying the Behaviour of Virtual Environment World Objects.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Paulo Pinheiro da Silva	User Interface Declarative Models and Development Environments: A Survey.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Panos Markopoulos 0001, Paul Shrubsole, John H. M. de Vet	Refinement of the PAC model for the component design and specification of television based interfaces.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	David A. Duce	Working group 3 report.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Charles Albert Wüthrich	An analysis and a Model of 3D Interaction Methods and Devices for Virtual Reality.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Mieke Massink, David J. Duke, Shamus P. Smith	Towards Hybrid Interface Specifications for Virtual Environments.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Shamus P. Smith	Working group 1 report.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Jean Vanderdonckt	Computer-Aided Design of Menu Bar and Pull-Down Menus for Business Oriented Applications.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Jon Rowson, Peter Johnson 0001, Graham White 0001	Cross-contextual reference in human-computer interaction.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Mike Hollier	Matching technology to people for telepresence.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Chris Roast, Jawed I. A. Siddiqi	Contrasting Models for Visualization (Seeing the wood through the trees).	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Mandayam A. Srinivasan, Cagatay Basdogan, Chih-Hao Ho	Haptic Interactions in the Real and Virtual Worlds.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Graham White 0001	Working group 2 report.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Pablo Castells, Pedro A. Szekely	Presentation Models by Example.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	José Creissac Campos, Michael D. Harrison	Modelling and Analysing Connectivity in an Audio-Visual Communications System.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Miguel Gea, Francisco Luis Gutiérrez Vela, Juan Carlos Torres 0001, Nicolás Padilla, Miguel Cabrera	Modelisation of co-operative work.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Bruno d'Ausbourg, Jacques Cazin	Using TRIO Specifications to Generate Test Cases for an Interactive System.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Martijn van Welie, Gerrit C. van der Veer, Anton Eliëns	Usability properties in dialogue model.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	David J. Duke	Discussion topics for the DSV-IS'99 working groups.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Tore Urnes, T. C. Nicholas Graham	Flexibility Mapping Synchronous Groupware Architectures to Distributed Implementations.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Miguel Cabrera, Juan Carlos Torres 0001, Miguel Gea	Towards User Interfaces for Rapid Prototyping from Algebraic Specifications.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Francis Jambon, Patrick Girard 0002, Yohann Boisdron	Dialogue Validation from Task Analysis.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Peter Forbrig	Task and Object-Oriented Development of Interactive Systems - How many models are necessary?	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Fabio Paternò, Carmen Santoro, Robert E. Fields	Analysing User Deviations in Interactive Safety-Critical Applications.	DSV-IS	1999	DBLP DOI BibTeX RDF
1	David J. Duke, Angel R. Puerta (eds.)	Design, Specification and Verification of Interactive Systems'99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999	DSV-IS	1999	DBLP DOI BibTeX RDF
1	Michael D. Harrison	Working Group 1 Report.	DSV-IS	1998	DBLP DOI BibTeX RDF
1	Panos Markopoulos 0001, Peter Johnson 0001 (eds.)	Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom, Volume 1	DSV-IS	1998	DBLP DOI BibTeX RDF
1	Panos Markopoulos 0001, Peter Johnson 0001	Discussion Topics for the DSV-IS'98 Working Groups.	DSV-IS	1998	DBLP DOI BibTeX RDF
1	Meurig Sage, Chris W. Johnson 0001	Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle.	DSV-IS	1998	DBLP DOI BibTeX RDF
1	Keith A. Butler, Chris Esposito, Ron Hebron	Deriving Business Object Definitions from User Work Process Models.	DSV-IS	1998	DBLP DOI BibTeX RDF
1	Rémi Bastide, Philippe A. Palanque, Duc-Hoa Le, Jaime Munoz	Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems.	DSV-IS	1998	DBLP DOI BibTeX RDF
1	Hallvard Trætteberg	Modelling Direct Manipulation Using Referent and Statecharts.	DSV-IS	1998	DBLP DOI BibTeX RDF
1	Bruno d'Ausbourg	Using Model Checking for the Automatic Validation of User Interface Systems.	DSV-IS	1998	DBLP DOI BibTeX RDF
1	Robert E. Fields, Nicholas A. Merriam	Inference and Information Resources: A Design Case Study.	DSV-IS	1998	DBLP DOI BibTeX RDF
1	Dan R. Olsen	Interacting in chaos.	DSV-IS	1998	DBLP DOI BibTeX RDF
1	José Creissac Campos, Michael D. Harrison	The Role of Verification in Interactive Systems Design.	DSV-IS	1998	DBLP DOI BibTeX RDF
1	John C. McCarthy	The viability of modelling socially organised activity.	DSV-IS	1998	DBLP DOI BibTeX RDF
1	Kurt Stirewalt, Gregory D. Abowd	Practical Dialogue Refinement.	DSV-IS	1998	DBLP DOI BibTeX RDF
1	Jon Rowson	Working Group 2 Report.	DSV-IS	1998	DBLP DOI BibTeX RDF
1	Sara Jones 0001, John Sapford	The Role of Informal Representations in Early Design.	DSV-IS	1998	DBLP DOI BibTeX RDF
1	David A. Duce	Integrating Joint Behaviour and Dialogue Description.	DSV-IS	1998	DBLP BibTeX RDF
1	Gavin J. Doherty, Michael D. Harrison	Integrating Joint Behaviour and Dialogue Description.	DSV-IS	1998	DBLP DOI BibTeX RDF

Publications at "DSV-IS"( http://dblp.L3S.de/Venues/DSV-IS )