5722 search results - page 529 / 1145 » Security Function Interactions |
156
click to vote
FOCS
2002
IEEE
15 years 10 months ago
2002
IEEE
We show that every language in NP has a (black-box) concurrent zero-knowledge proof system using ˜O(log n) rounds of interaction. The number of rounds in our protocol is optimal,...
109
click to vote
CHI
1994
ACM
15 years 9 months ago
1994
ACM
This study provides many insights into the features that users look for in interface building tools, as well as those that can hinder their use. The results suggest that users are...
161
Voted
DCOSS
2006
Springer
15 years 8 months ago
2006
Springer
In the population protocol model introduced by Angluin et al. [2], a collection of agents, which are modelled by finite state machines, move around unpredictably and have pairwise ...
147
Voted
CHI
1995
ACM
15 years 8 months ago
1995
ACM
The relations among graphical representations, computer functionality, and everyday objects are more complex than terms like “the desktop metaphor” may suggest. While metaphor...
144
click to vote
AVI
2004
15 years 6 months ago
2004
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...