6978 search results - page 1031 / 1396 » On Proofs in System P |
153
click to vote
AISC
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
177
click to vote
SPAA
2010
ACM
15 years 11 months ago
2010
ACM
This paper studies non-cryptographic authenticated broadcast in radio networks subject to malicious failures. We introduce two protocols that address this problem. The first, Nei...
187
click to vote
SP
2000
IEEE
15 years 11 months ago
2000
IEEE
It is desirable to store data on data storage servers such as mail servers and file servers in encrypted form to reduce security and privacy risks. But this usually implies that ...
182
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
Niklaus Wirth has received much deserved fame for the creation of Pascal, but in many ways, he subsequently became a victim of Pascal's success. In an age of rising specializ...
210
click to vote
PET
2010
Springer
15 years 10 months ago
2010
Springer
In this work, we propose a new platform to enable service providers, such as web site operators, on the Internet to block past abusive users of anonymizing networks (for example, T...