3179 search results - page 78 / 636 » Applications of PCF Theory |
INFSOF
2008
13 years 8 months ago
2008
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...
MCSS
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. We give a further elaboration of the fundamental connections between Lax-Phillips scattering, conservative input/state/output linear systems and Sz.-Nagy-Foias model theo...
PAMI
2008
13 years 8 months ago
2008
This paper develops a theory of frequency domain invariants in computer vision. We derive novel identities using spherical harmonics, which are the angular frequency domain analog ...
TSMC
2008
13 years 8 months ago
2008
The need to merge multiple sources of uncertain information is an important issue in many application areas, especially when there is potential for contradictions between sources. ...
JFP
2010
13 years 7 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...