394 search results - page 9 / 79 » Composing Specifications |
WEBI
2010
Springer
13 years 8 months ago
2010
Springer
Majority of the existing approaches to service composition, including the widely popular planning based techniques, are not able to automatically compose practical workflows that ...
ENTCS
2008
13 years 10 months ago
2008
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...
IEEEAMS
2002
IEEE
14 years 3 months ago
2002
IEEE
We propose a network service framework where common network functions such as routing and multicast can be customized on a per-application basis. Network service customization is ...
ESAW
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
ACTA
2004
13 years 10 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...