305 search results - page 54 / 61 » Proof as Composition: An approach for the Large-granularity ... |
ESWS
2005
Springer
14 years 2 months ago
2005
Springer
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
ECWEB
2000
Springer
14 years 1 months ago
2000
Springer
The Web has become a ubiquitous environment for application delivery. The originally intended idea, as a distributed system for knowledgeinterchange, has given way to organizations...
MOBIDE
2003
ACM
14 years 1 months ago
2003
ACM
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
ECOWS
2010
Springer
13 years 6 months ago
2010
Springer
OSIRIS is a middleware for the composition and orchestration of distributed web services that follows a P2P decentralized approach to process execution, providing already some deg...
CCS
2010
ACM
14 years 3 months ago
2010
ACM
A web mashup is a web application that integrates content from different providers to create a new service, not offered by the content providers. As mashups grow in popularity, ...