6978 search results - page 318 / 1396 » On Proofs in System P |
182
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
We present an Identity Based Encryption (IBE) system that is fully secure in the standard model and has several advantages over previous such systems
188
click to vote
CSL
2003
Springer
15 years 12 months ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
208
click to vote
TYPES
1995
Springer
15 years 10 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
135
click to vote
JCT
2006
15 years 6 months ago
2006
Fix positive integers k , d , k, d such that k /d > k/d 2. If P is a set of vertices in a (k, d)-colorable graph G, and any two vertices of P are separated by distance at leas...
169
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Peer-to-peer (P2P) networks based on consistent hashing functions have an inherent load uneven distribution problem. Things are even worse in unstructured P2P systems. The objecti...