Sciweavers

1774 search results - page 66 / 355
» Modeling Dynamic Component Interfaces
Sort
View
ICCHP
2010
Springer
15 years 6 months ago
HAIL: Hierarchical Adaptive Interface Layout
We present a framework to adapt software to the needs of individuals with severe motion disabilities who use mouse substitution interfaces. Typically, users are required to adapt t...
John J. Magee, Margrit Betke
NORDICHI
2004
ACM
15 years 7 months ago
Facilitating user interface adaptation to mobile devices
One vision of a context-aware pervasive networking environment promises the user a seamless access to surrounding services using her personal mobile device. This requires that the...
Pertti Repo
119
Voted
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 3 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
75
Voted
FROCOS
2005
Springer
15 years 7 months ago
Sociable Interfaces
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
Luca de Alfaro, Leandro Dias da Silva, Marco Faell...
115
Voted
IEAAIE
2000
Springer
15 years 5 months ago
Intelligent and Self-Adaptive Interface
The computer systems for the decision-making must provide in a synthetic and simple way the necessary elements to the decisionmaker. That is why, it is indispensable to build Compu...
Hadhoum Boukachour, Claude Duvallet, Alain Cardon