2106 search results - page 143 / 422 » Operational Semantics for DyLPs |
178
click to vote
ESWS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. From a theoretical point of view, the Semantic Web is understood in terms of a stack with RDF being one of its layers. A Semantic Web application operates on the common d...
154
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
178
click to vote
TLCA
2007
Springer
16 years 16 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
170
click to vote
EDOC
2005
IEEE
16 years 2 days ago
2005
IEEE
12 OWL-S is an instance of the Web Ontology Language (OWL) that is used to describe and specify semantic web services. While OWL-S provides a promising mechanism for specification...
161
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
ed Abstract an extended abstract of [11]. Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities, called services...