805 search results - page 52 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
149
click to vote
HCI
2009
15 years 25 days ago
2009
Game developers have begun applying formal human-computer interaction (HCI) principles in design. Desurvire et al [2] adapted a set of Heuristics for productivity software to games...
120
click to vote
SIGSOFT
1998
ACM
15 years 7 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
133
click to vote
CHI
2002
ACM
16 years 3 months ago
2002
ACM
Breakdown analysis involves decomposing data into subgroups to allow for comparison and identification of problem areas. Good analysis requires the ability to group data based on ...
120
click to vote
SIGSOFT
2010
ACM
15 years 28 days ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
142
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...