This paper echoes and points to work we have presented elsewhere on establishing the links between issues of sustainability and interaction design. The significant contribution of ...
Eli Blevis, Youn-Kyung Lim, David Roedl, Erik Stol...
This report presents a novel interface for musical performance which utilizes a record-player turntable augmented with a computation engine and a high-density optical sensing arra...
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
Steve Casselman, John Schewel, Christophe Beaumont
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
This paper presents a Web-based, database-oriented application called "Electronic Polling", a smart way to support voting on common subjects in which all people of a Loc...