1519 search results - page 184 / 304 » Experience based sampling technique for multimedia analysis |
180
click to vote
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
134
click to vote
HPCA
2006
IEEE
16 years 4 months ago
2006
IEEE
Processor architects have a challenging task of evaluating a large design space consisting of several interacting parameters and optimizations. In order to assist architects in ma...
108
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
The pervasive use of ambiguous keypads for mobile text entry necessitates examination of their performance characteristics. This paper presents TnToolkit – a self-contained tool...
117
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
Delays and errors are the frequent consequences of people having difficulty with a user interface. Such delays and errors can result in severe problems, particularly for mission-...
122
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...