4609 search results - page 731 / 922 » Automatic Generation of Sigma-Protocols |
165
click to vote
ECAL
2007
Springer
16 years 20 days ago
2007
Springer
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...
169
click to vote
ECOWS
2007
Springer
16 years 20 days ago
2007
Springer
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...
180
click to vote
FASE
2007
Springer
16 years 20 days ago
2007
Springer
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...
172
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
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...
122
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
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...