128 search results - page 1 / 26 » Forward Analysis of Depth-Bounded Processes |
FOSSACS
2010
Springer
14 years 9 days ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
TEC
2010
13 years 6 days ago
2010
We propose a unified data modeling approach that is equally applicable to supervised regression and classification applications, as well as to unsupervised probability density func...
ICIP
2000
IEEE
14 years 7 months ago
2000
IEEE
We introduce a new wavelet image coder which is the forward-adaptive counterpart of the state-of-the-art backward-adaptive Estimation-Quantization coder. The variance field associ...
CORR
2007
Springer
13 years 5 months ago
2007
Springer
— In this paper the benefits provided by multi-cell processing of signals transmitted by mobile terminals which are received via dedicated relay terminals (RTs) are assessed. Un...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...