2678 search results - page 119 / 536 » Operational Semantics of Transactions |
134
click to vote
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
173
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Commodity operating systems entrusted with securing sensitive data are remarkably large and complex, and consequently, frequently prone to compromise. To address this limitation, ...
174
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
136
click to vote
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
139
click to vote
SRDS
2000
IEEE
15 years 9 months ago
2000
IEEE
Obtaining good performance from a distributed replicated database that allows update transactions to originate at any site while ensuring one-copy serializability is a challenge. ...