Sciweavers

1769 search results - page 127 / 354
» Choice in Dynamic Linking
Sort
View
SASO
2007
IEEE
15 years 11 months ago
Adaptive SSL: Design, Implementation and Overhead Analysis
Adaptive security is based on the observation that the security requirements of a system or service heavily depend on the environment in which they operate and should therefore be...
Christiaan J. Lamprecht, Aad P. A. van Moorsel
ACSC
2005
IEEE
15 years 10 months ago
Graph Grammar Encoding and Evolution of Automata Networks
The global dynamics of automata networks (such as neural networks) are a function of their topology and the choice of automata used. Evolutionary methods can be applied to the opt...
Martin H. Luerssen
161
Voted
GECCO
2004
Springer
124views Optimization» more  GECCO 2004»
15 years 10 months ago
Convergence Examples of a Filter-Based Evolutionary Algorithm
Abstract. We describe and critique the convergence properties of filterbased evolutionary pattern search algorithms (F-EPSAs). F-EPSAs implicitly use a filter to perform a multi-...
Lauren M. Clevenger, William E. Hart
FMCO
2003
Springer
144views Formal Methods» more  FMCO 2003»
15 years 10 months ago
Semantic Essence of AsmL
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
146
Voted
DAGSTUHL
2003
15 years 6 months ago
Self-Stabilization and Behavioral Diversity of Embodied Adaptive Locomotion
Locomotion is of fundamental importance in understanding adaptive behavior. In this paper we present two case studies of robot locomotion that demonstrate how higher level of behav...
Fumiya Iida, Rolf Pfeifer