1802 search results - page 247 / 361 » Using Declarative Specifications in Business Process Design |
116
Voted
CASCON
2007
15 years 4 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
114
Voted
EVOW
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we report on the synthesis of sounds using cellular automata, specifically the multitype voter model. The mapping process adopted is based on digital signal processin...
154
Voted
APN
2006
Springer
15 years 6 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
97
Voted
ICIP
2010
IEEE
15 years 22 days ago
2010
IEEE
We propose a novel algorithm for denoising Poisson-corrupted images, that performs a signal-adaptive thresholding of the undecimated Haar wavelet coefficients. A Poisson's un...
113
Voted
ICWS
2007
IEEE
15 years 4 months ago
2007
IEEE
There is a critical need to design and develop tools tract away the fundamental complexity of XML based Web services specifications and toolkits, and provide an elegant, intuitive...