117 search results - page 16 / 24 » Towards preserving correctness in self-managed software syst... |
ICN
2007
Springer
14 years 1 months ago
2007
Springer
— The fields of autonomics and system configuration share a common goal in decreasing the cost of ownership of large fabrics. In this paper we present a combined vision in whic...
VSTTE
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
FASE
2008
Springer
13 years 9 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
MIDDLEWARE
2004
Springer
14 years 26 days ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
SWWS
2008
13 years 9 months ago
2008
- The future of the Semantic Web envisions an interconnected network of data and systems where software agents can communicate seamlessly to perform complicated tasks with limited ...