2678 search results - page 136 / 536 » Operational Semantics of Transactions |
129
click to vote
USENIX
2008
15 years 7 months ago
2008
Striping is a technique that distributes file content over multiple storage servers and thereby enables parallel access. In order to be able to provide a consistent view across fi...
142
click to vote
JHSN
2006
15 years 4 months ago
2006
We present a refined model for Role Based Access Control policies and define a risk measure for the model, which expresses elements of the operational, combinatorial and conflict ...
118
Voted
COLING
2000
15 years 6 months ago
2000
We propose a new inference system which operates on underspecified semantic representations of scope and anaphora. This system exploits anaphoric accessibility conditions from dyn...
141
click to vote
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
115
click to vote
EKAW
2006
Springer
15 years 8 months ago
2006
Springer
In the context of the Semantic Web, many ontology-related operations, e.g. ontology ranking, segmentation, alignment, articulation, reuse, evaluation, can reduced to one fundamenta...