4615 search results - page 629 / 923 » Virtual Classes and Their Implementation |
185
click to vote
LION
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present EvA2, a comprehensive metaheuristic optimization framework with emphasis on Evolutionary Algorithms. It presents a modular structure of interfaces and abstract...
175
click to vote
ITP
2010
15 years 10 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
194
click to vote
DNA
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...
159
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
Web applications are important, ubiquitous distributed systems whose current security relies primarily on server-side mechanisms. This paper makes the end-toend argument that the ...
176
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
We introduce KFC, a block cipher based on a three round Feistel scheme. Each of the three round functions has an SPN-like structure for which we can either compute or bound the adv...