2678 search results - page 26 / 536 » Operational Semantics of Transactions |
119
Voted
SOSYM
2002
15 years 3 months ago
2002
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
133
Voted
EPIA
2005
Springer
15 years 9 months ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
141
Voted
VLDB
1997
ACM
15 years 7 months ago
1997
ACM
This paper proposes an extension of the multiversion two phase locking protocol, called EMVZPL, which enables update transactions to use versions while guaranteeing the serializab...
144
Voted
SEUS
2008
IEEE
15 years 10 months ago
2008
IEEE
In the expanding e-society, mobile embedded systems are increasingly used to support transactions such as for banking, stock or database applications. Such systems entail a range o...
137
Voted
DEXA
1998
Springer
15 years 8 months ago
1998
Springer
We discuss and prove the correctness of a transaction model for mobile computing. In our transaction model, we incorporate a prewrite operation (before a write) which does not upda...