867 search results - page 115 / 174 » User Interface Prototyping: Tools and Techniques |
UIST
2006
ACM
14 years 2 months ago
2006
ACM
Despite the ubiquity of slide presentations, managing multiple presentations remains a challenge. Understanding how multiple versions of a presentation are related to one another,...
FROCOS
2007
Springer
14 years 18 days ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
AI
2003
Springer
14 years 1 months ago
2003
Springer
Private information about individuals that engage in e-commerce business transactions is of economic value to businesses for market analysis and for identifying possible future par...
SOSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
TEI
2010
ACM
14 years 3 months ago
2010
ACM
This paper introduces a tool known as the Haptic Drum Kit, which employs four computer-controlled vibrotactile devices, one attached to each wrist and ankle. In the applications d...