620 search results - page 99 / 124 » About the logical relations between cases and rules |
119
click to vote
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
123
click to vote
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
Multi-Instance-Precommit (MIP) has been recently presented as an innovative transaction management scheme in support of reliability for Atomic Transactions in multitier (e.g. Web-...
129
click to vote
REST
2010
ACM
15 years 3 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
128
click to vote
FUIN
2008
14 years 11 months ago
2008
Causal relations are present in many application domains. Causal Probabilistic Logic (CP-logic) is a probabilistic modeling language that is especially designed to express such rel...
202
click to vote
ICDT
2009
ACM
16 years 1 months ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...