1315 search results - page 94 / 263 » Towards Requirements Engineering for Context Adaptive System... |
135
click to vote
ICMI
2007
Springer
16 years 10 days ago
2007
Springer
In this paper, we describe the enabling technologies to develop a smart meeting system based on a three layered generic model. From physical level to semantic level, it consists o...
165
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
164
click to vote
IUI
2010
ACM
16 years 1 months ago
2010
ACM
Browsing and searching for documents in large, online enterprise document repositories are common activities. While internet search produces satisfying results for most user queri...
168
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
An analysis of context-aware user interfaces shows that adaptation mechanisms have a cost-benefit trade-off for usability. Unpredictable autonomous interface adaptations can easil...
176
click to vote
ICAC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper proposes autonomic or organic computing principles to be applied to hardware design methods for future SoC solutions. Incorporating self-calibration, fault tolerance or...