4231 search results - page 713 / 847 » Using Language More Responsibly |
129
Voted
CHI
2005
ACM
16 years 3 months ago
2005
ACM
We present Breakaway, an ambient display that encourages people, whose job requires them to sit for long periods of time, to take breaks more frequently. Breakaway uses the inform...
103
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
We introduce a new interactive system: a game that is fun and can be used to create valuable output. When people play the game they help determine the contents of images by provid...
102
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
99
Voted
SIGCSE
2010
ACM
15 years 10 months ago
2010
ACM
This paper discusses our experience in teaching an interdisciplinary general education course called Sound Thinking that is offered jointly by our Dept. of Computer Science and De...
122
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...