285 search results - page 17 / 57 » Towards a Compositional Approach to the Design and Verificat... |
NOSSDAV
2005
Springer
14 years 1 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 ...
ECBS
2005
IEEE
14 years 2 months ago
2005
IEEE
Software development can be thought of as the evolution act requirements into a concrete software system. The evolution, achieved through a successive series of elaborations and r...
ACIVS
2005
Springer
14 years 2 months ago
2005
Springer
Multiresolution video denoising is becoming an increasingly popular research topic over recent years. Although several wavelet based algorithms reportedly outperform classical sing...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
ESCIENCE
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper presents a new approach to the issues of performance monitoring and visualization of distributed applications using the J-OCM monitoring system. We are focusing on the ...