Sciweavers

1983 search results - page 253 / 397
» Optimal Reverse-Pricing Mechanisms
Sort
View
POPL
2000
ACM
14 years 24 days ago
Generalized Certificate Revocation
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
Carl A. Gunter, Trevor Jim
AISB
1995
Springer
14 years 24 days ago
The Ant Colony Metaphor for Searching Continuous Design Spaces
This paper describes a form of dynamical computational system--4he ant colony---and presents an ant colony model for continuous space optimisation problems. The ant colony metapho...
George Bilchev, Ian C. Parmee
ECAL
1995
Springer
14 years 24 days ago
Orgy in the Computer: Multi-Parent Reproduction in Genetic Algorithms
In this paper we investigate the phenomenon of multi-parent reproduction, i.e. we study recombination mechanisms where an arbitrary n > 1 number of parents participate in creati...
A. E. Eiben, Cees H. M. van Kemenade, Joost N. Kok
EURODAC
1995
IEEE
130views VHDL» more  EURODAC 1995»
14 years 24 days ago
Semi-dynamic scheduling of synchronization-mechanisms
This paper presents a novel approach to scheduling of hardware supported synchronization operations. The optimization goal is to minimize the interation time of processes and thus...
Wolfgang Ecker
TACS
1997
Springer
14 years 23 days ago
Type System for Specializing Polymorphism
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
Atsushi Ohori