The SCEAS System
Navigation Menu

Conferences in DBLP

Design, Specification, and Verification of Interactive Systems (DSV-IS) (dsvis)
2008 (conf/dsvis/2008)

  1. EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System. [Citation Graph (, )][DBLP]

  2. Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums. [Citation Graph (, )][DBLP]

  3. An Attentive Groupware Device to Mitigate Information Overload. [Citation Graph (, )][DBLP]

  4. Multi-fidelity User Interface Specifications. [Citation Graph (, )][DBLP]

  5. HOPS: A Prototypical Specification Tool for Interactive Systems. [Citation Graph (, )][DBLP]

  6. Systematic Analysis of Control Panel Interfaces Using Formal Tools. [Citation Graph (, )][DBLP]

  7. Investigating System Navigation Ergonomics through Model Verification. [Citation Graph (, )][DBLP]

  8. Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications. [Citation Graph (, )][DBLP]

  9. Towards a Library of Workflow User Interface Patterns. [Citation Graph (, )][DBLP]

  10. Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B. [Citation Graph (, )][DBLP]

  11. Pattern Languages as Tool for Discount Usability Engineering. [Citation Graph (, )][DBLP]

  12. Cascading Dialog Modeling with UsiXML. [Citation Graph (, )][DBLP]

  13. Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors. [Citation Graph (, )][DBLP]

  14. Lightweight Coding of Structurally Varying Dialogs. [Citation Graph (, )][DBLP]

  15. ReWiRe: Designing Reactive Systems for Pervasive Environments. [Citation Graph (, )][DBLP]

  16. Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces. [Citation Graph (, )][DBLP]

  17. A Model-Based Approach to Supporting Configuration in Ubiquitous Systems. [Citation Graph (, )][DBLP]

  18. Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications. [Citation Graph (, )][DBLP]

  19. Resources for Situated Actions. [Citation Graph (, )][DBLP]

  20. An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. [Citation Graph (, )][DBLP]

  21. COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces. [Citation Graph (, )][DBLP]

  22. Executable Models for Human-Computer Interaction. [Citation Graph (, )][DBLP]

  23. A Middleware for Seamless Use of Multiple Displays. [Citation Graph (, )][DBLP]

  24. Graphic Rendering Considered as a Compilation Chain. [Citation Graph (, )][DBLP]

  25. Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations. [Citation Graph (, )][DBLP]

  26. Towards Characterizing Visualizations. [Citation Graph (, )][DBLP]

  27. Towards Usability Evaluation for Smart Appliance Ensembles. [Citation Graph (, )][DBLP]

  28. Task Model Refinement with Meta Operators. [Citation Graph (, )][DBLP]

  29. Utilizing Dynamic Executable Models for User Interface Development. [Citation Graph (, )][DBLP]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002