866 search results - page 96 / 174 » A compositional semantics for CHR |
167
click to vote
SWAP
2008
15 years 7 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
155
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we present a Notification Agent designed and implemented using Semantic Web Services. The Notification Agent manages alerts when critical financial situati...
156
click to vote
ICFP
1996
ACM
15 years 10 months ago
1996
ACM
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this paper, we build upon John Reppy's reduc...
156
click to vote
ER
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The Semantic Web promises to provide timely, targeted access to user-specified information online. Though standardized services exist for performing this work, specifying...
156
click to vote
ACL
2006
15 years 7 months ago
2006
The present paper proposes a method by which to translate outputs of a robust HPSG parser into semantic representations of Typed Dynamic Logic (TDL), a dynamic plural semantics de...