2171 search results - page 134 / 435 » A Generic Process Algebra |
109
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We provide two compressive sensing (CS) recovery algorithms based on iterative hard-thresholding. The algorithms, collectively dubbed as algebraic pursuits (ALPS), exploit the res...
133
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
118
click to vote
BPM
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...
126
click to vote
CONCUR
1993
Springer
15 years 7 months ago
1993
Springer
cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpli...
120
click to vote
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...