27 search results - page 6 / 6 » Using Constraints and Process Algebra for Specification of F... |
ENTCS
2008
13 years 5 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
DGO
2009
13 years 6 months ago
2009
The execution of cross-domain eGovernment applications is a challenging topic. eGovernment organisations are facilitated and conducted using workflow management systems. Workflows...