Sciweavers

2978 search results - page 393 / 596
» Operations Research
Sort
View
143
Voted
FSTTCS
2007
Springer
15 years 10 months ago
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
Michael Backes, Markus Dürmuth, Ralf Küs...
GECCO
2007
Springer
172views Optimization» more  GECCO 2007»
15 years 10 months ago
Real-coded ECGA for economic dispatch
In this paper, we propose a new approach that consists of the extended compact genetic algorithm (ECGA) and split-ondemand (SoD), an adaptive discretization technique, to economic...
Chao-Hong Chen, Ying-Ping Chen
GECCO
2007
Springer
160views Optimization» more  GECCO 2007»
15 years 10 months ago
Self-modifying cartesian genetic programming
In nature, systems with enormous numbers of components (i.e. cells) are evolved from a relatively small genotype. It has not yet been demonstrated that artificial evolution is su...
Simon Harding, Julian Francis Miller, Wolfgang Ban...
MDM
2007
Springer
126views Communications» more  MDM 2007»
15 years 10 months ago
Semantics of Spatially-Aware Windows Over Streaming Moving Objects
Several window constructs are usually specified in continuous queries over data streams as a means of limiting the amount of data processed each time and thus providing real-time...
Kostas Patroumpas, Timos K. Sellis
MSN
2007
Springer
187views Sensor Networks» more  MSN 2007»
15 years 10 months ago
Performance Analysis of IEEE 802.11 in Multi-hop Wireless Networks
Abstract. Multi-hop wireless networks provide a quick and easy way for networking when we need a temporary network or when cabling is difficult. The 802.11 Medium Access Control (M...
Lan Tien Nguyen, Razvan Beuran, Yoichi Shinoda