6016 search results - page 405 / 1204 » The semantics of graphical languages |
206
click to vote
ICIW
2009
IEEE
15 years 4 months ago
2009
IEEE
The lack of semantics in Web Services Description Language (WSDL) prevents automatic discovery and hence automatic invocation and composition. In our work, we are interested in ext...
197
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
135
click to vote
FOSSACS
2005
Springer
16 years 12 days ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
210
click to vote
SEMWEB
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
178
click to vote
ASP
2003
Springer
16 years 3 days ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...