400 search results - page 34 / 80 » Moving Proofs-As-Programs into Practice |
CHI
2008
ACM
14 years 8 months ago
2008
ACM
We propose the "ninja cursor" to improve the performance of target acquisition, particularly on large screens. This technique uses multiple distributed cursors to reduce...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
This paper presents the perspective that sustainability can and should be a central focus of interaction design--a perspective that is termed Sustainable Interaction Design (SID)....
SIGMOD
2005
ACM
14 years 7 months ago
2005
ACM
The goal is to monitor multiple numerical streams, and determine which pairs are correlated with lags, as well as the value of each such lag. Lag correlations (and anticorrelation...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Large-scale software development requires coordination within and between very large engineering teams, each of which may be located in different locations and time zones. Numerou...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Electronic documents such as PDFs are becoming increasingly popular as we move further towards the notion of the paperless office. The harsh truth however is that e-documents diff...