1532 search results - page 220 / 307 » An Algebraic Process Calculus |
146
click to vote
ICWS
2008
IEEE
15 years 6 months ago
2008
IEEE
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...
149
Voted
ICUMT
2009
15 years 2 months ago
2009
Web services are ubiquitous technologies which are used for integrating business processes and services. As is the case in many other applications, the information processed in we...
376
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
136
Voted
TGC
2005
Springer
15 years 10 months ago
2005
Springer
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
144
Voted
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...