171 search results - page 22 / 35 » Efficient algorithms for interface timing verification |
125
click to vote
CHI
2002
ACM
16 years 2 months ago
2002
ACM
We present the results of an experiment investigating the effects of a talking head's gaze behavior on the user's quality assessment of the interface. We compared a vers...
156
click to vote
DATE
1999
IEEE
15 years 6 months ago
1999
IEEE
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
113
Voted
PODC
2011
ACM
14 years 4 months ago
2011
ACM
: Analyzing Consistency Properties for Fun and Profit Wojciech Golab, Xiaozhou Li, Mehul A. Shah HP Laboratories HPL-2011-6 data consistency, algorightms, key-value stores Moti...
122
click to vote
AMW
2010
15 years 3 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
128
Voted
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
There has been an explosion of hyperlinked data in many domains, e.g., the biological Web. Expressive query languages and effective ranking techniques are required to convert this...