1830 search results - page 320 / 366 » Centering in Dynamic Semantics |
CONCUR
2004
Springer
15 years 4 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
FOIKS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
MIDDLEWARE
2004
Springer
15 years 4 months ago
2004
Springer
The increasing popularity of XML Web services motivates us to examine if it is feasible to substitute one vendor service for another when using a Web-based application, assuming th...
101
click to vote
RULEML
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
109
click to vote
INFOCOM
2003
IEEE
15 years 4 months ago
2003
IEEE
— The core-stateless service architecture alleviates the scalability problems of the integrated service framework while maintaining its guaranteed service semantics. The admissio...