2678 search results - page 74 / 536 » Operational Semantics of Transactions |
106
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—We define here a simple, low level control procedure definition, to support application implementation on a particular multiprocessor platform, namely the SegBus segme...
123
click to vote
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—We are developing a concurrent, agent-based approach to complex systems simulation as part of the CoSMoS project. In such simulations an agent’s behaviour can typicall...
123
click to vote
ICFP
1998
ACM
15 years 8 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
105
click to vote
XSYM
2007
Springer
15 years 10 months ago
2007
Springer
Nowadays, concurrency control for XML data is a big research problem. There are a number of researchers working on this problem, but most of the proposed methods are based on the ...
125
click to vote
TGC
2005
Springer
15 years 9 months ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...