2730 search results - page 139 / 546 » An Abstract Model for Process Mediation |
ESAW
2004
Springer
15 years 3 months ago
2004
Springer
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...
ERCIMDL
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...
CAV
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
248
click to vote
ICA
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Missing data in corrupted audio recordings poses a challenging problem for audio signal processing. In this paper we present an approach that allows us to estimate missin...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...