212 search results - page 3 / 43 » Conformance Testing of Distributed Concurrent Systems with E... |
JSW
2007
13 years 5 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
PADS
2005
ACM
13 years 11 months ago
2005
ACM
Parallel and distributed simulations enable the analysis of complex systems by concurrently exploiting the aggregate computation power and memory of clusters of execution units. I...
PPOPP
2009
ACM
14 years 6 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
CLUSTER
2001
IEEE
13 years 9 months ago
2001
IEEE
Distributed Computing Systems are a viable and less expensive alternative to parallel computers. However, a serious difficulty in concurrent programming of a distributed system is...
DNA
2009
Springer
14 years 18 days ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...