7891 search results - page 1268 / 1579 » A Distributed Scheduling Framework |
132
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Typical applications of evolutionary optimization in static environments involve the approximation of the extrema of functions. For dynamic environments, the interest is not to lo...
167
Voted
NOSSDAV
2005
Springer
15 years 10 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
147
click to vote
TCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
152
Voted
EGC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Grid software often unfortunately requires significant changes in existing infrastructure, both in terms of policy and mechanism, instead of accommodating and leveraging ...
148
Voted
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...