780 search results - page 1 / 156 » Compositional Quantitative Reasoning |
149
Voted
QEST
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
125
Voted
CSL
2008
Springer
15 years 6 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
135
Voted
GCC
2003
Springer
15 years 10 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
140
click to vote
COORDINATION
2007
Springer
15 years 11 months ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
132
click to vote
ICWS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...