Sciweavers

4609 search results - page 731 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
ECAL
2007
Springer
16 years 20 days ago
Building Virtual Ecosystems from Artificial Chemistry
Abstract. This paper adopts an interdisciplinary view of the significant elements of ecosystems and the methods by which these might be simulated to explore theoretical issues of r...
Alan Dorin, Kevin B. Korb
ECOWS
2007
Springer
16 years 20 days ago
Transactional BPEL Processes with AO4BPEL Aspects
Recently, OASIS approved two standards respectively for Web Service composition and for Web Service transactions. Nevertheless, it is still unclear how WS-BPEL and the WS-TX famil...
Anis Charfi, Benjamin Schmeling, Mira Mezini
FASE
2007
Springer
16 years 20 days ago
Contract-Driven Development
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
Bertrand Meyer
GECCO
2007
Springer
207views Optimization» more  GECCO 2007»
16 years 20 days ago
A data parallel approach to genetic programming using programmable graphics hardware
In recent years the computing power of graphics cards has increased significantly. Indeed, the growth in the computing power of these graphics cards is now several orders of magn...
Darren M. Chitty
GECCO
2007
Springer
163views Optimization» more  GECCO 2007»
16 years 20 days ago
Action-selection and crossover strategies for self-modeling machines
In previous work [7] a computational framework was demonstrated that employs evolutionary algorithms to automatically model a given system. This is accomplished by alternating the...
Josh C. Bongard