16725 search results - page 2789 / 3345 » Engineering Software Correctness |
254
click to vote
FSTTCS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. We consider exchange economies where the traders’ preferences are expressed in terms of the extensively used constant elasticity of substitution (CES) utility functions...
147
click to vote
FSTTCS
2005
Springer
16 years 16 days ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
184
click to vote
FSTTCS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
192
click to vote
GECCO
2005
Springer
16 years 16 days ago
2005
Springer
Deciding the appropriate population size and number of islands for distributed island-model genetic algorithms is often critical to the algorithm’s success. This paper outlines ...
162
click to vote
GECCO
2005
Springer
16 years 16 days ago
2005
Springer
Distributed Genetic Algorithms (DGAs) designed for the Internet have to take its high communication cost into consideration. For island model GAs, the migration topology has a maj...