Sciweavers

379 search results - page 42 / 76
» Communication Abstractions for Distributed Business Processe...
Sort
View
SIGMOD
2002
ACM
127views Database» more  SIGMOD 2002»
15 years 2 months ago
Workflow management with service quality guarantees
Workflow management systems (WFMS) that are geared for the orchestration of business processes across multiple organizations are complex distributed systems: they consist of multi...
Michael Gillmann, Gerhard Weikum, Wolfgang Wonner
HIPC
2005
Springer
15 years 8 months ago
Scheduling Divisible Loads with Return Messages on Heterogeneous Master-Worker Platforms
Abstract In this paper, we consider the problem of scheduling divisible loads onto an heterogeneous star platform, with both heterogeneous computing and communication resources. We...
Olivier Beaumont, Loris Marchal, Yves Robert
JFP
2010
142views more  JFP 2010»
15 years 1 months ago
Linear type theory for asynchronous session types
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 ...
Simon J. Gay, Vasco Thudichum Vasconcelos
132
Voted
IFIP
2004
Springer
15 years 8 months ago
New-HOPLA: A Higher-order Process Language with Name Generation
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
Glynn Winskel, Francesco Zappa Nardelli
LMO
1996
15 years 4 months ago
Using Metaobjects to Model Concurrent Objects with PICT
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz