7109 search results - page 247 / 1422 » Process Algebra with Combinators |
121
click to vote
RULEML
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
139
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose a “compressive” estimator of the Wigner-Ville spectrum (WVS) for time-frequency sparse, underspread, nonstationary random processes. A novel WVS estimator involving...
129
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Eclipse is a heterogeneous multiprocessor architecture for high-performance media processing, including highdefinition MPEG encoding/decoding. The scalable architecture framework ...
120
click to vote
IEEEPACT
2000
IEEE
15 years 8 months ago
2000
IEEE
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...
157
click to vote
ICCD
1999
IEEE
15 years 8 months ago
1999
IEEE
Continuing improvements in semiconductor density are enabling new classes of System-on-a-Chip architectures that combine extensive processing logic and high-density memory. Many o...