2737 search results - page 272 / 548 » interaction 2009 |
158
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Web search and browsing have been streamlined for a comfortable experience when the network connection is fast. Existing tools, however, are not optimized for scenarios where conn...
166
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
211
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
166
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
We present Waterhouse, a system for sending and receiving cryptographically protected electronic mail ("secure e-mail"). We show how an existing e-mail interface can be ...
283
click to vote
HCI
2009
15 years 4 months ago
2009
: In this research, we analyze how the sound and music relate to humans from the aspect of Kansei engineering. We analyze what features of the sound humans pay attention and how hu...