19866 search results - page 3596 / 3974 » Computing all factorizations in *** |
243
click to vote
ESOP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
180
click to vote
EUROCRYPT
2005
Springer
16 years 12 days ago
2005
Springer
A (1,2)-robust combiner for a cryptographic primitive P is a construction that takes two candidate schemes for P and combines them into one scheme that securely implement P even i...
200
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
Assume a coevolutionary algorithm capable of storing and utilizing all phenotypes discovered during its operation, for as long as it operates on a problem; that is, assume an algo...
185
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
Genetic Algorithms (GAs) are very commonly used as function optimizers, basically due to their search capability. A number of different serial and parallel versions of GA exist. ...
213
click to vote
GI
2005
Springer
16 years 12 days ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...