2180 search results - page 53 / 436 » Self-Adaptation in Evolving Systems |
CONCUR
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
73
Voted
ECOOP
2007
Springer
15 years 5 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
Air traffic management offers an intriguing real world challenge to designing large scale distributed systems using evolutionary computation. The ability to evolve effective air t...
WWW
2003
ACM
15 years 11 months ago
2003
ACM
Despite numerous proposals for its creation, the semantic web has yet to achieve widespread adoption. Recently, some researchers have argued that participation in the semantic web...
202
click to vote
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...