Communications of the ACM
Formal specification of CORBA services: experience and lessons learned
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A formal specification of the CORBA event service
Fourth International Conference on Formal methods for open object-based distributed systems IV
Consistency in Dynamic Reconfiguration
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
A model-based approach for real-time embedded multimodal systems in military aircrafts
Proceedings of the 6th international conference on Multimodal interfaces
Web personalization integrating content semantics and navigational patterns
Proceedings of the 6th annual ACM international workshop on Web information and data management
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Web site off-line structure reconfiguration: a web user browsing analysis
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Interface creation and redesign techniques in collaborative learning scenarios
Future Generation Computer Systems
Real-time groupware in the browser: testing the performance of web-based networking
Proceedings of the ACM 2011 conference on Computer supported cooperative work
Modeling animations for dependable interactive applications
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work
Exploiting gaming research and practice for engineering interactive critical systems
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
Engineering animations in user interfaces
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Formal description of multi-touch interactions
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Model-based dynamic distribution of user interfaces of critical interactive systems
Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems
International Journal of Human-Computer Studies
| Hi-index | 0.00 |
The paper proposes a formal description technique and a supporting tool that provide a means to handle both static and dynamic aspects of input and output device configurations and reconfigurations. More precisely, in addition to the notation, the paper proposes an architecture for the management of failure on input and output devices by means of reconfiguration of in/output device configuration and interaction techniques. Such reconfiguration aims at allowing operators to continue interacting with the interactive system even though part of the hardware side of the user interface is failing. These types of problems arise in domains such as command and control systems where the operator is confronted with several display units. The contribution presented in the paper thus addresses usability issues (improving the ways in which operators can reach their goals while interacting with the system) by increasing the reliability of the system using diverse configuration both for input and output devices.