3228 search results - page 398 / 646 » Computationally Sound Proofs |
144
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
HeteroSort load balances and sorts within static or dynamic networks. Upon failure of a node or path, HeteroSort uses a genetic algorithm to minimize the distribution path by optim...
135
Voted
CRYPTO
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We provide a simple secret-key two-party secure communication scheme, which is provably information-theoretically secure in the limited-storage-space model. The limited-s...
107
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
In this paper, we describe a method for the composition of components that are relatively correct under a particular criterion. The notion of composition pattern is also introduce...
112
Voted
SIBGRAPI
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. In this work we study the problem of reconstructing an image from a perceptual segmentation based on a geometric classification of its points using non-linear curvature f...
179
Voted
ICNP
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we give a general definition of weighted fairness and discuss how a pricing policy can be mapped to general weighted (GW) fairness. The GW fairness can be achieved b...