Sciweavers

3268 search results - page 171 / 654
» Structured Service Composition
Sort
View
FM
2006
Springer
124views Formal Methods» more  FM 2006»
15 years 10 months ago
Compositional Binding in Network Domains
This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindin...
Pamela Zave
PDCN
2004
15 years 7 months ago
Grid knowledge discovery processes and an architecture for their composition
The Grid is the computing and data management infrastructure, which is transforming science, business, health and society. This paper deals with a challenging task addressing know...
Guenter Kickinger, Jürgen Hofer, Peter Brezan...
OSDI
2000
ACM
15 years 7 months ago
Knit: Component Composition for Systems Software
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...
Alastair Reid, Matthew Flatt, Leigh Stoller, Jay L...
AIPS
2006
15 years 7 months ago
Scalable Planning for Distributed Stream Processing Systems
Recently the problem of automatic composition of workflows has been receiving increasing interest. Initial investigation has shown that designing a practical and scalable composit...
Anton Riabov, Zhen Liu
APN
2010
Springer
15 years 11 months ago
Wendy: A Tool to Synthesize Partners for Services
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
Niels Lohmann, Daniela Weinberg