33 search results - page 5 / 7 » Checked Transactions in an Asynchronous Message Passing Envi... |
ECOOP
2008
Springer
13 years 7 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
WFLP
2000
Springer
13 years 9 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
OOIS
1997
Springer
13 years 9 months ago
1997
Springer
Workflow management, one of the important technologies for supporting collaborative work, requires database technologies like distributed data management or transaction management...
IPPS
1998
IEEE
13 years 10 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
WWW
2011
ACM
13 years 17 days ago
2011
ACM
Choreography analysis has been a crucial problem in service oriented computing. Interactions among services involve message exchanges across organizational boundaries in a distrib...