2678 search results - page 136 / 536 » Operational Semantics of Transactions |
132
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...
147
Voted
JHSN
2006
15 years 5 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 ...
122
click to vote
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...
144
click to vote
TPHOL
2002
IEEE
15 years 10 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...
121
Voted
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...