866 search results - page 82 / 174 » A compositional semantics for CHR |
168
Voted
COLCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—Web service paradigm and related technologies have provided favorable means for the realization of collaborative business processes. From both conceptual and implementation poin...
149
click to vote
DSRT
2009
IEEE
15 years 9 months ago
2009
IEEE
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
140
click to vote
SAINT
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
140
Voted
ACL
1996
15 years 6 months ago
1996
Under categorial grammars that have powerful rules like composition, a simple n-word sentence can have exponentially many parses. Generating all parses is inefficient and obscures...
150
Voted
JLP
2008
15 years 5 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...