3379 search results - page 531 / 676 » Combinators for Interaction Nets |
178
click to vote
CRYPTO
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Non-interactive zero-knowledge (NIZK) proofs have been investigated in two models: the Public Parameter model and the Secret Parameter model. In the former, a public stri...
157
click to vote
EPIA
2005
Springer
16 years 1 days ago
2005
Springer
The amount of information about the genome, transcriptome and proteome, forms a problem for the scientific community: how to find the right information in a reasonable amount of ...
111
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
The purpose of this project is to develop a program that solves a bi-objective diet problem to propose the user a “healthy” daily meal according to some parameters specified b...
143
click to vote
PPAM
2005
Springer
16 years 3 hour ago
2005
Springer
In this paper, we present a peer-to-peer (P2P) system with remote method invocations, combining RMIX and JXTA technologies, and underpinning the H2O distributed resource sharing pl...
155
click to vote
PPDP
2005
Springer
16 years 3 hour ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...