86 search results - page 18 / 18 » Classification as a Query Processing Technique in the CANDID... |
EON
2008
13 years 8 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...