107 search results - page 22 / 22 » A Language for Configuring Multi-level Specifications |
122
Voted
EON
2008
15 years 3 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 (...
140
Voted
ANSOFT
2002
15 years 1 months ago
2002
Over recent years, "Internet-able" applications have been used to support domains where distributed functionality is essential. This flexibility is also pertinent in situ...