8828 search results - page 1658 / 1766 » Formal methods in practice |
130
click to vote
IUI
2006
ACM
15 years 9 months ago
2006
ACM
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...
172
click to vote
IUI
2006
ACM
15 years 9 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
115
click to vote
NSPW
2006
ACM
15 years 9 months ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...
182
click to vote
WPES
2006
ACM
15 years 9 months ago
2006
ACM
Many applications of mix networks such as anonymous Web browsing require relationship anonymity: it should be hard for the attacker to determine who is communicating with whom. Co...
121
click to vote
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
— Batteries are non-ideal energy sources – minimizing the energy consumption of a battery-powered system is not equivalent to maximizing its battery life. We propose an alterna...