ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
SUPPLE: automatically generating user interfaces
Proceedings of the 9th international conference on Intelligent user interfaces
Graceful degradation of user interfaces as a design method for multiplatform systems
Proceedings of the 9th international conference on Intelligent user interfaces
Contextual ConcurTaskTrees: Integrating dynamic contexts in task based design
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions
IEEE Transactions on Software Engineering
Malan: a mapping language for the data manipulation
Proceedings of the eighth ACM symposium on Document engineering
COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces
Interactive Systems. Design, Specification, and Verification
Executable Models for Human-Computer Interaction
Interactive Systems. Design, Specification, and Verification
Taming Dynamically Adaptive Systems using models and aspects
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Behavior-Sensitive User Interfaces for Smart Environments
ICDHM '09 Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Model-driven adaptation for plastic user interfaces
INTERACT'07 Proceedings of the 11th IFIP TC 13 international conference on Human-computer interaction
Bridging models and systems at runtime to build adaptive user interfaces
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Improving modularity and usability of interactive systems with Malai
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
A fast and elitist multiobjective genetic algorithm: NSGA-II
IEEE Transactions on Evolutionary Computation
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Run-time adaptation of mobile applications using genetic algorithms
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Towards effective adaptive user interfaces design
Proceedings of the 2013 Research in Adaptive and Convergent Systems
Run-Time support to manage architectural variability specified with CVL
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Aspect-driven, data-reflective and context-aware user interfaces design
ACM SIGAPP Applied Computing Review
| Hi-index | 0.00 |
User interface adaptations can be performed at runtime to dynamically reflect any change of context. Complex user interfaces and contexts can lead to the combinatorial explosion of the number of possible adaptations. Thus, dynamic adaptations come across the issue of adapting user interfaces in a reasonable time-slot with limited resources. In this paper, we propose to combine aspect-oriented modeling with property-based reasoning to tame complex and dynamic user interfaces. At runtime and in a limited time-slot, this combination enables efficient reasoning on the current context and on the available user interface components to provide a well suited adaptation. The proposed approach has been evaluated through EnTiMid, a middleware for home automation.