2688 search results - page 172 / 538 » A formal semantics for P3P |
328
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
161
click to vote
SEMWEB
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
170
click to vote
HICSS
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
275
click to vote
PPSWR
2005
Springer
16 years 18 hour ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
211
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...