173 search results - page 26 / 35 » A Case Study of Dependable Software Upgrade with Distributed... |
MIDDLEWARE
2005
Springer
14 years 1 months ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
IEEESCC
2010
IEEE
13 years 9 months ago
2010
IEEE
Due to the shift from software-as-a-product (SaaP) to software-as-a-service (SaaS), software components that were developed to run in a single address space must increasingly be a...
GRID
2006
Springer
13 years 7 months ago
2006
Springer
In this paper we propose a framework dedicated to the development and the execution of parallel applications over large scale global computing platforms. A workflow programming env...
TSE
2010
13 years 6 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
BMCBI
2008
13 years 7 months ago
2008
Background: Bioinformatics data analysis toolbox needs general-purpose, fast and easily interpretable preprocessing tools that perform data integration during exploratory data ana...