294 search results - page 35 / 59 » Introducing Executable Product Models for the Service Indust... |
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
: Computational grids that couple geographically distributed resources are becoming the de-facto computing platform for solving large-scale problems in science, engineering, and co...
ENC
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper introduces an approach for adaptively brokering queries for exploiting streams produced and consumed by devices with limited computing and storage capacities. Such devi...
EEE
2005
IEEE
14 years 1 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
HASE
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...