5904 search results - page 9 / 1181 » Requirements for a Composition Language |
MIDDLEWARE
2005
Springer
14 years 1 months ago
2005
Springer
Distributed publish/subscribe systems are naturally suited for processing events in distributed systems. However, support for expressing patterns about disparate events and algorit...
CSFW
2004
IEEE
13 years 11 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
ER
2009
Springer
14 years 2 months ago
2009
Springer
Goals are often used to represent stakeholder’s objectives. The intentionality inherited by a goal drives stakeholders to pursuit the fulfillment of their goals either by themse...
ICWS
2003
IEEE
13 years 9 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
