3395 search results - page 618 / 679 » Designs, Disputes and Strategies |
COORDINATION
2009
Springer
14 years 8 months ago
2009
Springer
The diffuse Web is an alternative way of using the Web 2.0 infrastructure for building personal diffuse applications. Systems that let users tune the temperature of their house wit...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
A gestural text entry method for mobile is presented. Unlike most mobile phone text entry methods, which rely on repeatedly pressing buttons, our gestural method uses an isometric...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
It is tedious to handwrite long passages of text by hand. To make this process more efficient, we propose predictive handwriting that provides input predictions when the user writ...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
An experienced user of the Twiddler, a one?handed chording keyboard, averages speeds of 60 words per minute with letter?by?letter typing of standard test phrases. This fast typing...