3557 search results - page 541 / 712 » Authoring Presentation for OpenMath |
183
click to vote
ESORICS
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
172
click to vote
STOC
1994
ACM
15 years 10 months ago
1994
ACM
Shannon's Coding Theorem shows that in order to reliably transmit a message of T bits over a noisy communication channel, only a constant slowdown factor is necessary in the ...
169
click to vote
SWAT
1992
Springer
15 years 10 months ago
1992
Springer
This paper presents parallel algorithms for priority queue operations on a p-processor EREWPRAM. The algorithms are based on a new data structure, the Min-path Heap (MH), which is...
174
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
This paper introduces a novel interactive floor platform for social games and entertainment involving multiple colocated users in a collaborative game environment. The interactive...
161
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development. However, medium-robustness separation ke...