5675 search results - page 400 / 1135 » Formalising Performative Interaction |
176
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
HANDS is a new programming system for children that was designed for usability. This paper examines the effectiveness of three features of HANDS: queries, aggregate operations, an...
162
Voted
CHI
2001
ACM
16 years 7 months ago
2001
ACM
Unistrokes are a viable form of text input in pen-based user interfaces. However, they are a very heterogeneous group of gestures the only common feature being that all are drawn ...
192
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Artemis is a modular application designed for analyzing and troubleshooting the performance of large clusters running datacenter services. Artemis is composed of four modules: (1)...
173
Voted
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...
187
Voted
MOBISYS
2003
ACM
16 years 6 months ago
2003
ACM
Achieving crisp interactive response in resource-intensive applications such as augmented reality, language translation, and speech recognition is a major challenge on resource-po...