1656 search results - page 86 / 332 » Building Dependable Distributed Applications Using AQUA |
139
click to vote
EUROPAR
2009
Springer
15 years 8 months ago
2009
Springer
The paper presents a new data partitioning algorithm for parallel computing on heterogeneous processors. Like traditional functional partitioning algorithms, the algorithm assumes ...
141
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
— In this paper we present a cross-domain application for ambient and health monitoring. The system architecture is intended to be openly extensible in order to fulfil unanticipa...
159
click to vote
IFIPTCS
2010
15 years 1 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
156
click to vote
IWFM
2000
15 years 5 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
163
click to vote
GRID
2006
Springer
15 years 3 months ago
2006
Springer
Air Quality Forecasting (AQF) is a new discipline that attempts to reliably predict atmospheric pollution. An AQF application has complex workflows and in order to produce timely ...