1012 search results - page 139 / 203 » Process Algebra with Backtracking |
SIGSOFT
2006
ACM
14 years 10 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
FOSSACS
2004
Springer
14 years 3 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
VISUALIZATION
2003
IEEE
14 years 2 months ago
2003
IEEE
The goal of this paper is to transfer image processing to vector fields and flow visualization by defining a suitable convolution operation. For this, a multiplication of vecto...
TAPSOFT
1995
Springer
14 years 1 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
SAC
2010
ACM
13 years 9 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...