39 search results - page 5 / 8 » A Calculus for Long-Running Transactions |
ESOP
2004
Springer
14 years 4 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
ICPADS
1996
IEEE
14 years 3 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
DAIS
1997
14 years 6 days ago
1997
An increasing number of distributed applications are being constructed by composing them out of existing applications. The resulting applications can be very complex in structure,...
POPL
2010
ACM
14 years 8 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
CSREAEEE
2006
14 years 8 days ago
2006
Recent research on distributed Internet based B2B e-commerce has focused on long running distributed transactions and the possibility that this characteristic may lead to extended...