805 search results - page 20 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
111
click to vote
SAS
2001
Springer
15 years 7 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
150
click to vote
ASPDAC
2001
ACM
15 years 6 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
100
click to vote
HCI
2009
15 years 18 days ago
2009
Culture and affect are closely tied domains that have been considered separately in HCI until now. After carefully reviewing research done in each of those domains, a formal ontolo...
113
click to vote
HCI
2011
14 years 6 months ago
2011
Over the past 15 years, children have become more integrally involved in the design of their technology. In this paper, we present the idea that design partnering methods, specific...
152
click to vote
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...