2685 search results - page 348 / 537 » A Formal Semantics for SPKI |
149
click to vote
TASE
2008
IEEE
16 years 28 days ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
163
click to vote
ESOP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
158
click to vote
ESWS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
178
click to vote
FSEN
2007
Springer
16 years 22 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
191
click to vote
ICLP
2007
Springer
16 years 21 days ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...