1598 search results - page 22 / 320 » High-Assurance Distributed, Adaptive Software for Dynamic Sy... |
BERTINORO
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we envision a world where a software engineer could take an existing software system, specify, for a set of properties of interest, an objective, conditions for chan...
SASO
2010
IEEE
13 years 5 months ago
2010
IEEE
In an open distributed system, computational resources are peer-owned, and distributed over time and space. The fact that these resources can dynamically join or leave the system (...
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
The Internet is different from traditional parallel computing environments, and Distributed Genetic Algorithms (DGAs) for the Internet need to be designed to address these diffe...
ISSE
2007
13 years 7 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...