1548 search results - page 26 / 310 » Semantics and Extensions of WS-Agreement |
DAARC
2009
Springer
14 years 4 months ago
2009
Springer
Expressions such as English himself are interpreted as locally bound anaphors in certain syntactic environments and are exempt from the binding conditions in others. This article p...
FM
2009
Springer
14 years 4 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
The Semantic Grid is an extension of the current Grid in which information and services are given well-defined meaning, better enabling computers and people to work in cooperation....
APCCM
2009
13 years 11 months ago
2009
Existing HTML mark-up is used only to indicate the structure and lay-out of documents, but not the document semantics. As a result web documents are difficult to be semantically p...
SKG
2006
IEEE
14 years 3 months ago
2006
IEEE
Semantic completeness and syntax completeness are important characters of the general formal systems, two the completeness have different meaning for a formal system. This paper a...