9414 search results - page 1670 / 1883 » Adaptive Query Processing |
178
click to vote
APN
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
213
click to vote
ASIACRYPT
2005
Springer
16 years 17 days ago
2005
Springer
In this paper, we discuss non-interactive updating of decryption keys in identity-based encryption (IBE). IBE is a public key cryptosystem where a public key is an arbitrary strin...
212
click to vote
BERTINORO
2005
Springer
16 years 17 days ago
2005
Springer
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...
182
click to vote
BIRTHDAY
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
200
Voted
CEFP
2005
Springer
16 years 17 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...