13534 search results - page 2508 / 2707 » Modelling Human-Computer Interaction |
171
Voted
PPDP
2005
Springer
16 years 13 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
197
Voted
AIED
2005
Springer
16 years 13 days ago
2005
Springer
Modern computer games show potential not just for engaging and entertaining users, but also in promoting learning. Game designers employ a range of techniques to promote long-term ...
173
click to vote
ACMICEC
2004
ACM
16 years 12 days ago
2004
ACM
Many companies have found out the hard way that successful ecommerce requires more than a flashy web presence. Existing business processes must be seamlessly integrated with the n...
163
Voted
COMPGEOM
2004
ACM
16 years 11 days ago
2004
ACM
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...
176
click to vote
CSCW
2004
ACM
16 years 11 days ago
2004
ACM
A framework is described for analyzing keystroke level data from instant messages (IM). This is unlike other analyses of IM which employ server-based logs of messages. This framew...