11 search results - page 3 / 3 » Declarative Specification of Z39.50 Wrappers Using Descripti... |
EON
2008
13 years 7 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 (...