Sciweavers

439 search results - page 16 / 88
» Tabling for transaction logic
Sort
View
234
Voted

Book
1569views
16 years 9 months ago
Introduction to Logic
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
Micha l Walicki
94
Voted
MLQ
2000
88views more  MLQ 2000»
14 years 9 months ago
Logics of Complementarity in Information Systems
: Each information system (or data table) leads to a hierarchy of binary relations on the object set in a natural way; these relational systems can serve as frames for the semantic...
Ivo Düntsch, Ewa Orlowska
TWEB
2008
66views more  TWEB 2008»
14 years 9 months ago
An environment for flexible advanced compensations of Web service transactions
tions at runtime. We introduce the abstract service and adapter components which allow us to separate the compensation logic from the coordination logic. In this way, we can easily...
Michael Schäfer, Peter Dolog, Wolfgang Nejdl
CODES
2008
IEEE
15 years 4 months ago
You can catch more bugs with transaction level honey
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
Miron Abramovici, Kees Goossens, Bart Vermeulen, J...
110
Voted
CIDR
2011
221views Algorithms» more  CIDR 2011»
14 years 1 months ago
Deuteronomy: Transaction Support for Cloud Data
The Deuteronomy system supports efficient and scalable ACID transactions in the cloud by decomposing functions of a database storage engine kernel into: (a) a transactional compon...
Justin J. Levandoski, David B. Lomet, Mohamed F. M...