1375 search results - page 141 / 275 » SDL-2000: A Language with a Formal Semantics |
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
Semantic Web Services enable the dynamic discovery of services based on a formal, explicit specification of the requester needs. The actual Web Services that will be used to satis...
106
click to vote
ERCIMDL
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Integrated digital access to multiple collections is a prominent issue for many Cultural Heritage institutions. Metadata describing diverse collections must be interopera...
EDBT
2002
ACM
15 years 10 months ago
2002
ACM
The IPSI XQuery Demonstrator (IPSI-XQ) implements the XQuery surface syntax, its mapping to the XQuery Core Language, and the static and dynamic semantics of XQuery Core "by t...
DEXA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
102
click to vote
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Modularization is widely recognized as a central issue in software engineering. In this paper we address the issue of modularization in cognitive agent programming languages. We d...