1548 search results - page 41 / 310 » Semantics and Extensions of WS-Agreement |
143
click to vote
ICTAC
2004
Springer
15 years 11 months ago
2004
Springer
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
145
click to vote
HOPL
2007
15 years 10 months ago
2007
We report on the birth and evolution of Lua and discuss how it moved from a simple configuration language to a versatile, widely used language that supports extensible semantics, ...
161
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
167
click to vote
SIGLEX
1991
15 years 9 months ago
1991
We consider lexicM operations and their representation in a unification based lexicon and the role of lexical semantic information. We describe a unified treatment of the linguist...
164
click to vote
ICDIM
2007
IEEE
15 years 8 months ago
2007
IEEE
With the growing popularity of XML there is a need not only to describe the structure of XML data but also its semantics. For the conceptual modelling of XML we can use existing c...