2776 search results - page 223 / 556 » System-Level Abstraction Semantics |
211
click to vote
ODBIS
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. RDF Schema (RDFS) extends RDF with a schema vocabulary with a predefined semantics. Evaluating queries which involve this vocabulary is challenging, and there is not yet...
144
click to vote
RTA
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...
169
click to vote
FCT
2005
Springer
15 years 11 months ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
158
click to vote
GPCE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Component-oriented programming yields a tension between higherorder features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose...
152
click to vote
PACT
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...