Search results for "DSV-IS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Emmanuel Dubois 0001, Cédric Bach, Philippe Truillet	Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums.	DSV-IS	2008	DBLP DOI BibTeX RDF	augmented reality, user experiment, User-centered design, tangible UI, user-testing, design model, mixed interactive systems
1	Gilles Tabart, Stéphane Conversy, Jean-Luc Vinot, Sylvie Athènes	Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors.	DSV-IS	2008	DBLP DOI BibTeX RDF	color design, User interface, graphical design, critical systems, graphical rendering, design study
1	Marco Winckler, Jean Vanderdonckt, Adrian Stanciulescu, Francisco M. Trindade	Cascading Dialog Modeling with UsiXML.	DSV-IS	2008	DBLP DOI BibTeX RDF	multi-target user interfaces, StateWebCharts, user interface description language, dialog modeling, UsiXML, cascading style sheet
1	Josefina Guerrero García, Jean Vanderdonckt, Juan Manuel González-Calleros, Marco Winckler	Towards a Library of Workflow User Interface Patterns.	DSV-IS	2008	DBLP DOI BibTeX RDF	user interface flow, workflow information system, workflow model editor, WUIP, design pattern, user interface description language
1	Grzegorz Lehmann, Marco Blumendorf, Sebastian Feuerstack, Sahin Albayrak	Utilizing Dynamic Executable Models for User Interface Development.	DSV-IS	2008	DBLP DOI BibTeX RDF	runtime interpretation, human-computer interaction, model-based user interfaces
1	Frédéric Jourde, Yann Laurillau, Alberto L. Morán, Laurence Nigay	Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations.	DSV-IS	2008	DBLP DOI BibTeX RDF	multi-devices, specification notation, CSCW, multimodality
1	Tony McBryan, Philip D. Gray	A Model-Based Approach to Supporting Configuration in Ubiquitous Systems.	DSV-IS	2008	DBLP DOI BibTeX RDF	model, evaluation, dynamic configuration, ubiquitous systems
1	Satoshi Sakurai, Yuichi Itoh, Yoshifumi Kitamura, Miguel A. Nacenta, Tokuo Yamaguchi, Sriram Subramanian, Fumio Kishino	A Middleware for Seamless Use of Multiple Displays.	DSV-IS	2008	DBLP DOI BibTeX RDF	server-client, graphical user interface, 3D interactions, VNC
1	Alexandre Demeure, Gaëlle Calvary, Karin Coninx	COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces.	DSV-IS	2008	DBLP DOI BibTeX RDF	tailored UIs, Adaptation, exploration, context of use, plasticity, design alternatives, style sheets, interactors
1	Maik Wurdel, Daniel Sinnig, Peter Forbrig	Task Model Refinement with Meta Operators.	DSV-IS	2008	DBLP DOI BibTeX RDF	requirements engineering, refinement, scenarios, Task models
1	Gregor Buchholz, Stefan Propp	Towards Usability Evaluation for Smart Appliance Ensembles.	DSV-IS	2008	DBLP DOI BibTeX RDF	Smart Appliance Ensembles, Usability, Task Models
1	Antonio Ferreira 0001, Pedro Antunes 0001	An Attentive Groupware Device to Mitigate Information Overload.	DSV-IS	2008	DBLP DOI BibTeX RDF
1	Michael Dunlavey	Lightweight Coding of Structurally Varying Dialogs.	DSV-IS	2008	DBLP DOI BibTeX RDF	Differential execution, Incremental computation
1	Giulio Mori, Fabio Paternò, Lucio Davide Spano	Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications.	DSV-IS	2008	DBLP DOI BibTeX RDF	Logical Interface Descriptions, Home Applications, Web Services, User Interface Generation
1	Christophe Hurter, Stéphane Conversy	Towards Characterizing Visualizations.	DSV-IS	2008	DBLP DOI BibTeX RDF	Topics Development Processes, Specification of Interactive Systems, Verification and Validation
1	Anke Dittmar, Toralf Hübner, Peter Forbrig	HOPS: A Prototypical Specification Tool for Interactive Systems.	DSV-IS	2008	DBLP DOI BibTeX RDF
1	Leila Jemni Ben Ayed, Fatma Siala	Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.	DSV-IS	2008	DBLP DOI BibTeX RDF	Multi-Agent System, verification, specification, Event B, AUML
1	T. C. Nicholas Graham, Philippe A. Palanque (eds.)	Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers	DSV-IS	2008	DBLP DOI BibTeX RDF
1	Elbert-Jan Hennipman, Evert-Jan Oppelaar, Gerrit C. van der Veer	Pattern Languages as Tool for Discount Usability Engineering.	DSV-IS	2008	DBLP DOI BibTeX RDF	Discount usability engineering, design pattern languages, HCI
1	David Navarre, Philippe A. Palanque, Jean-François Ladry, Sandra Basnyat	An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces.	DSV-IS	2008	DBLP DOI BibTeX RDF	ARINC 661 specification, interactive software engineering, interactive cockpits, formal description techniques, Model-based approaches
1	Alexandre Scaico, Maria de Fátima Queiroz Vieira, Marckson R. F. de Sousa, Charles Santoni	Investigating System Navigation Ergonomics through Model Verification.	DSV-IS	2008	DBLP DOI BibTeX RDF	safety critical interfaces, Model based design, CPN
1	Jan Van den Bergh 0001, Mieke Haesen, Kris Luyten, Sofie Notelaers, Karin Coninx	Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces.	DSV-IS	2008	DBLP DOI BibTeX RDF
1	Daniel Reichart, Anke Dittmar, Peter Forbrig, Maik Wurdel	Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications.	DSV-IS	2008	DBLP DOI BibTeX RDF
1	Thomas Memmel, Jean Vanderdonckt, Harald Reiterer	Multi-fidelity User Interface Specifications.	DSV-IS	2008	DBLP DOI BibTeX RDF	formal and informal specifications, specification of interactive systems, Collaborative design, user interface specifications, usability requirements
1	Geert Vanderhulst, Kris Luyten, Karin Coninx	ReWiRe: Designing Reactive Systems for Pervasive Environments.	DSV-IS	2008	DBLP DOI BibTeX RDF
1	Benjamin Tissoires, Stéphane Conversy	Graphic Rendering Considered as a Compilation Chain.	DSV-IS	2008	DBLP DOI BibTeX RDF	compiler, computer graphics, modularity, dataflow, interactive software
1	Ann Blandford, Paul Curzon, Joanne K. Hyde, George Papatzanis	EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System.	DSV-IS	2008	DBLP DOI BibTeX RDF	in-car navigation systems, satellite navigation systems, usability evaluation, multimodal systems
1	José Creissac Campos, Michael D. Harrison	Systematic Analysis of Control Panel Interfaces Using Formal Tools.	DSV-IS	2008	DBLP DOI BibTeX RDF
1	Marco Blumendorf, Grzegorz Lehmann, Sebastian Feuerstack, Sahin Albayrak	Executable Models for Human-Computer Interaction.	DSV-IS	2008	DBLP DOI BibTeX RDF	runtime interpretation, human-computer interaction, model-based user interfaces
1	Gavin J. Doherty, José Creissac Campos, Michael D. Harrison	Resources for Situated Actions.	DSV-IS	2008	DBLP DOI BibTeX RDF
1	Gavin J. Doherty, Ann Blandford (eds.)	Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers	DSV-IS	2007	DBLP DOI BibTeX RDF
1	Sophie Lepreux, Jean Vanderdonckt, Benjamin Michotte	Visual Design of User Interfaces by (De)composition.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	T. C. Nicholas Graham, Paul Curzon, Gavin J. Doherty, Philippe A. Palanque, Richard Potter, Christopher Roast, Shamus P. Smith	Usability and Computer Games: Working Group Report.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	T. C. Nicholas Graham, Will Roberts	Toward Quality-Driven Development of 3D Computer Games.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	Victor M. Ruiz Penichet, Fabio Paternò, José A. Gallud, María Dolores Lozano 0001	Collaborative Social Structures and Task Modelling Integration.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	Stephen W. Gilroy, Michael D. Harrison (eds.)	Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers	DSV-IS	2006	DBLP DOI BibTeX RDF
1	Richard Potter, Helen Wright	An Ontological Approach to Visualization Resource Management.	DSV-IS	2006	DBLP DOI BibTeX RDF	Hardware Abstraction, Ontology, Visualization, HCI
1	Harold W. Thimbleby	Validity and Cross-Validity in HCI Publications.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	Chris Roast, Babak Khazaei	An Investigation into the Validation of Formalised Cognitive Dimensions.	DSV-IS	2006	DBLP DOI BibTeX RDF	Cognitive Dimensions Framework, Theory validation, Empirical methods
1	Erik G. Nilsson, Jacqueline Floch, Svein O. Hallsteinsen, Erlend Stav	Using a Patterns-Based Modelling Language and a Model-Based Adaptation Architecture to Facilitate Adaptive User Interfaces.	DSV-IS	2006	DBLP DOI BibTeX RDF	Interfaces for mobile devices, Adaptive and customizable systems, Patterns-based approaches, Model-based design, Adaptive architecture
1	João Carlos Silva 0002, José Creissac Campos, João Saraiva	Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	Mónica Sara Santos, João Falcão e Cunha, Altamiro da Costa Pereira	Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Information System.	DSV-IS	2006	DBLP DOI BibTeX RDF	Human Computer Interaction, Requirements Engineering, Medical Information Systems
1	Harold W. Thimbleby	Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque	Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	Karin Coninx, Erwin Cuppens, Joan De Boeck, Chris Raymaekers	Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	Jennifer N. Petrie, Kevin A. Schneider	Mixed-Fidelity Prototyping of User Interfaces.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	Shamus P. Smith	Exploring the Specification of Haptic Interaction.	DSV-IS	2006	DBLP DOI BibTeX RDF	interaction specification, usability, Virtual environments, haptic interaction, design tools
1	Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford	Formal Modelling of Cognitive Interpretation.	DSV-IS	2006	DBLP DOI BibTeX RDF	model checking, human error, cognitive architecture, SAL
1	Eleanor O'Neill, David Lewis 0001, Kris McGlinn, Simon Dobson	Rapid User-Centred Evaluation for Context-Aware Systems.	DSV-IS	2006	DBLP DOI BibTeX RDF	User-centred design and evaluation, usability, context-aware services, adaptive services, 3D virtual environment
1	Giorgio P. Faconti, Mieke Massink	Analysis of Pointing Tasks on a White Board.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	Jan Van den Bergh 0001, Steven Huypens, Karin Coninx	Towards Model-Driven Development of Staged Participatory Multimedia Events.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	María Paula González, Toni Granollers, Jesús Lorés	A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Association Rules.	DSV-IS	2006	DBLP DOI BibTeX RDF	Evaluation Stage, Data mining, Association Rules, UCD
1	Jan Gulliksen	How Do Developers Meet Users? - Attitudes and Processes in Software Development.	DSV-IS	2006	DBLP DOI BibTeX RDF	Usability, process, attitude, User-centered systems design
1	Stéphane Chatty, José Creissac Campos, María Paula González, Sophie Lepreux, Erik G. Nilsson, Victor M. Ruiz Penichet, Mónica Sara Santos, Jan Van den Bergh 0001	Processes: Working Group Report.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	José Creissac Campos, Gavin J. Doherty	Supporting Resource-Based Analysis of Task Information Needs.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Kwang Chun Lee, Ho-Jin Choi, Danhyung Lee, Sungwon Kang	Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysis.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Sandra Basnyat, Joan De Boeck, Erwin Cuppens, Leonel Nóbrega, Francisco Montero Simarro, Fabio Paternò, Kevin A. Schneider	Future Challenges of Model-Based Design.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Guo-Qiang Zhang 0001, Gongqin Shen, Ye Tian, Jiayang Sun	Concept Analysis as a Formal Method for Menu Design.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	David Paquette, Kevin A. Schneider	Task Model Simulation Using Interaction Templates.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Sandra Basnyat, Nick Chozos, Chris W. Johnson 0001, Philippe A. Palanque	Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	W. Greg Phillips, T. C. Nicholas Graham, Christopher Wolfe	A Calculus for the Refinement and Evolution of Multi-user Mobile Applications.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Silvia Berti, Fabio Paternò, Carmen Santoro	A Taxonomy for Migratory User Interfaces.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Nick Chozos, Jennifer G. Sheridan, Özcan Mehmet, Amir Naghsh, Kwang Chun Lee, Ann Blandford	Supporting Values Other Than Usability and Performance Within the Design Process.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Maurice H. ter Beek, Mieke Massink, Diego Latella	Towards Model Checking Stochastic Aspects of the thinkteam User Interface.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Amir M. Naghsh, Andy Dearden, Mehmet B. Özcan	Investigating Annotation in Electronic Paper-Prototypes.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Fabio Paternò, Marco Volpe 0002	Natural Modelling of Interactive Applications.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Dominic Furniss, Alan J. Dix, Christophe Ponsard, Guo-Qiang Zhang	Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro	Ambience and Mobility.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Leonel Nóbrega, Nuno Jardim Nunes, Helder Coelho	Mapping ConcurTaskTrees into UML 2.0.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde	Goal-Oriented Design of Domain Control Panels.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Erwin Cuppens, Chris Raymaekers, Karin Coninx	A Model-Based Design Process for Interactive Virtual Environments.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Peter C. Wright, Mark Blythe, John C. McCarthy	User Experience and the Idea of Design in HCI.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	El Mustapha El Atifi, Gilles Falquet	A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns	Automatic Critiques of Interface Modes.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru	Test of the ICARE Platform Fusion Mechanism.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Alan J. Dix, Jennifer G. Sheridan, Stuart Reeves, Steve Benford, Claire O'Malley	Formalising Performative Interaction.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Joan De Boeck, Chris Raymaekers, Karin Coninx	A Method for the Verification of Haptic Algorithms.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Ann Blandford, Dominic Furniss	DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	Francisco Montero Simarro, Víctor López-Jaquero, Jean Vanderdonckt, Pascual González, María Dolores Lozano 0001, Quentin Limbourg	Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML.	DSV-IS	2005	DBLP DOI BibTeX RDF
1	W. Greg Phillips, T. C. Nicholas Graham	Workspaces: A Multi-level Architectural Style for Synchronous Groupware.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Nikola Mitrovic, Eduardo Mena	Improving User Interface Usability Using Mobile Agents.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Kris Luyten, Tim Clerckx, Karin Coninx, Jean Vanderdonckt	Derivation of a Dialog Model from a Task Model by Activity Chain Extraction.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Karina Oertel, Oliver Hein	Identification of Web Usability Problems and Interaction Patterns with the RealEYES-iAnalyzer.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Marcelo Fantinato, Mário Jino	Applying Extended Finite State Machines in Software Testing of Interactive Systems.	DSV-IS	2003	DBLP DOI BibTeX RDF	Finite State Machines, Model Based Testing, Functional Testing, Testing Criteria
1	Víctor López-Jaquero, Francisco Montero Simarro, José Pascual Molina, Antonio Fernández-Caballero 0001, Pascual González	Model-Based Design of Adaptive User Interfaces through Connectors.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Baha Jabarin, T. C. Nicholas Graham	Architectures for Widget-Level Plasticity.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Carlos Santos 0001, Nuno Correia 0001	A Navigation and Registration System for Mobile and Augmented Environments.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Larry L. Constantine	Canonical Abstract Prototypes for Abstract Visual and Interaction.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Christian Märtin, Bernhard Prell	Contextual Design of a Computer-Supported Film Set: A Case Study.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Christian Stary, Simone Stoiber	Model-Based Electronic Performance Support.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Simon Crowle, Linda Hole	ISML: An Interface Specification Meta-language.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Anke Dittmar, Peter Forbrig	Higher-Order Task Models.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Simone Diniz Junqueira Barbosa, Maíra Greco de Paula	Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineering.	DSV-IS	2003	DBLP DOI BibTeX RDF	interaction-as-conversation, HCI design models, interaction modeling, semiotic engineering
1	Georgios Christou, Robert J. K. Jacob	Evaluating and Comparing Interaction Styles.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Silvia Berti, Fabio Paternò	Model-Based Design of Speech Interfaces.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	João Paulo Pereira, Joaquim A. Jorge, Vasco A. Branco, Fernando Nunes Ferreira	Calligraphic Interfaces: Mixed Metaphors for Design.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal	Specification-Based Testing of User Interfaces.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Daniel Gonçalves 0002, Joaquim A. Jorge	An Empirical Study of Personal Document Spaces.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	José Creissac Campos	Using Task Knowledge to Guide Interactor Specifications Analysis.	DSV-IS	2003	DBLP DOI BibTeX RDF
1	Lia Patrício, João Falcão e Cunha, Raymond P. Fisk, Nuno Jardim Nunes	Addressing Marketing Requirements in User-Interface Design for Multiple Platforms.	DSV-IS	2003	DBLP DOI BibTeX RDF

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