1375 search results - page 9 / 275 » SDL-2000: A Language with a Formal Semantics |
FLOPS
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed. The language is underspecified, and can be reasonably interpreted in a number...
ENTCS
2002
14 years 9 months ago
2002
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
ICECCS
2007
IEEE
15 years 3 months ago
2007
IEEE
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
CORR
1998
Springer
14 years 9 months ago
1998
Springer
We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from spee...