6978 search results - page 346 / 1396 » On Proofs in System P |
173
click to vote
TCC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We introduce Fair Zero-Knowledge, a multi-verifier ZK system where every proof is guaranteed to be “zero-knowledge for all verifiers.” That is, if an honest verifi...
196
click to vote
IMSA
2001
15 years 8 months ago
2001
: In this paper, we proposed a SORBA (Shared Object Request Broker Architecture) model, an objectbased P2P model, which complies with an open architecture, and manages resources af...
165
click to vote
ICARIS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper presents a high level dynamic task allocation algorithm that is inspired by the biological development process and the immune system. For a microprocessor (µP...
168
click to vote
PDP
2009
IEEE
16 years 1 months ago
2009
IEEE
PsycoTrace is a set of tools to protect a process P from attacks that alter P self as specified by its source code. P self is specified in terms of legal traces of system calls ...
176
click to vote
JSC
2008
15 years 6 months ago
2008
In this paper we study standard bases for submodules of K[[t1, . . . , tm]][x1, . . . , xn]s respectively of their localisation with respect to a t-local monomial ordering. The mai...