15840 search results - page 2845 / 3168 » The Control of Synchronous Systems |
176
click to vote
FROCOS
2007
Springer
16 years 29 days ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
205
Voted
FROCOS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
169
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
Recent work has provided functions that can be used to prove a principled distinction between the capabilities of mutation-based and crossover-based algorithms. However, prior fun...
185
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
Adaptive Memetic Algorithms couple an evolutionary algorithm with a number of local search heuristics for improving the evolving solutions. They are part of a broad family of meta...
142
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
We present a new framework for artificial life involving physically simulated, three-dimensional blocks called Division Blocks. Division Blocks can grow and shrink, divide and fo...