2790 search results - page 338 / 558 » The Human-Provided Services Framework |
194
click to vote
EON
2008
15 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 (...
151
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
In this paper, we propose a management framework for protecting large computer systems against operator mistakes. By detecting and confining mistakes to isolated portions of the ...
172
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
157
click to vote
DOA
2000
15 years 7 months ago
2000
The Mobile Agent (MA) paradigm proposes several attractive solutions to deal with the problems of networkcentric programming. Despite the availability of several MA platforms, the...
179
click to vote
COMPSEC
2004
15 years 6 months ago
2004
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...