1774 search results - page 66 / 355 » Modeling Dynamic Component Interfaces |
ICCHP
2010
Springer
14 years 1 months ago
2010
Springer
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...
NORDICHI
2004
ACM
14 years 2 months ago
2004
ACM
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...
FM
2008
Springer
13 years 10 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
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...
IEAAIE
2000
Springer
14 years 18 days ago
2000
Springer
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...