2678 search results - page 97 / 536 » Operational Semantics of Transactions |
164
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
143
click to vote
PDIS
1994
IEEE
15 years 8 months ago
1994
IEEE
We present a scalable garbage collection scheme for systems that store objects at multiple servers while clients run transactions on locally cached copies of objects. It is the fi...
123
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...
147
click to vote
ITS
2000
Springer
15 years 7 months ago
2000
Springer
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...
128
click to vote
CIE
2008
Springer
15 years 6 months ago
2008
Springer
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...