1548 search results - page 9 / 310 » Semantics and Extensions of WS-Agreement |
ECEASST
2006
14 years 9 months ago
2006
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
ADBIS
2005
Springer
15 years 3 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
ACL
1998
14 years 10 months ago
1998
In this paper we specifically address questions of polysemy with respect to verbs, and how regular extensions of meaning can be achieved through the adjunction of particular synta...
KR
2004
Springer
15 years 2 months ago
2004
Springer
We consider Dung’s argumentation framework, in which an argument system consists of a set of arguments and a binary relation between arguments representing the notion of a conï¬...
ML
2006
ACM
15 years 3 months ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...