2678 search results - page 159 / 536 » Operational Semantics of Transactions |
123
click to vote
ACL
2001
15 years 6 months ago
2001
We develop a framework for formalizing semantic construction within grammars expressed in typed feature structure logics, including HPSG. The approach provides an alternative to t...
124
click to vote
APAL
2005
15 years 4 months ago
2005
A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of se...
145
click to vote
ECWEB
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. There are many definitions for Mobile Electronic Commerce (MCommerce). We define M-Commerce as any type of transaction of an economic value having at least at one end a m...
141
click to vote
MSS
1999
IEEE
15 years 9 months ago
1999
IEEE
Archival storage systems must operate under stringent requirements, providing 100% availability while guaranteeing that data will not be lost. In this paper we explore the multipl...
141
click to vote
COMPSAC
1997
IEEE
15 years 9 months ago
1997
IEEE
Many real-time database systems are now being used in safety-critical applications, in which human lives or expensive machinery may be at stake. Transactions in real-time database...