1054 search results - page 132 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
130
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Elsa Kosmack Vaara Kristina H??k The Affective Health system is a mobile lifestyle application that aims to empower people to reflect on their lives and lifestyles. The system logs...
141
click to vote
JAIR
2000
15 years 4 months ago
2000
Partially observable Markov decision processes (POMDPs) provide an elegant mathematical framework for modeling complex decision and planning problems in stochastic domains in whic...
129
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
124
click to vote
CHI
1999
ACM
15 years 8 months ago
1999
ACM
Recent debate has centered on the relative promise of focusing user-interface research on developing new metaphors and tools that enhance users’ abilities to directly manipulate...
134
click to vote
IDMS
2000
Springer
15 years 8 months ago
2000
Springer
The requirements for the QoS of distributed applications are traditionally expressed in terms of network oriented or systems oriented parameters. In general, the users of these ser...