805 search results - page 119 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
139
click to vote
ACMDIS
2000
ACM
15 years 7 months ago
2000
ACM
: Expanding the functionality of a successful system is always a challenge; the initial simplicity and ease-of-use is easily lost in the process. Experience indicates that this pro...
111
click to vote
NORDICHI
2004
ACM
15 years 8 months ago
2004
ACM
In eye typing systems, a dwell time that adjusts to the user’s natural typing speed is highly desirable. We present an algorithm for on-line adjustment of dwell time developed a...
133
click to vote
POPL
2004
ACM
15 years 8 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
134
click to vote
ACMDIS
2010
ACM
15 years 3 months ago
2010
ACM
When using the computer, each user has some notion that "these applications are important" at a given point in time. We term this subset of applications that the user va...
143
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...