13534 search results - page 2508 / 2707 » Modelling Human-Computer Interaction |
114
click to vote
PPDP
2005
Springer
15 years 8 months 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...
126
click to vote
AIED
2005
Springer
15 years 8 months 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 ...
ACMICEC
2004
ACM
15 years 8 months 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...
108
Voted
COMPGEOM
2004
ACM
15 years 8 months 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...
104
Voted
CSCW
2004
ACM
15 years 8 months 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...