Sciweavers

5599 search results - page 217 / 1120
» Abstract State Services
Sort
View
EDOC
2007
IEEE
15 years 10 months ago
On Interoperability and Conformance Assessment in Service Composition
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the di...
Dick A. C. Quartel, Marten van Sinderen
BIRTHDAY
2009
Springer
15 years 5 months ago
An ASM-Characterization of a Class of Distributed Algorithms
Conventional computation models restrict to particular data structures to represent states of a computation, e.g. natural numbers, s, stacks, etc. Gurevich's Abstract State Ma...
Andreas Glausch, Wolfgang Reisig
CSE
2009
IEEE
15 years 2 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...
WWW
2005
ACM
15 years 9 months ago
Automated synthesis of executable web service compositions from BPEL4WS processes
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli...
CONCURRENCY
2006
61views more  CONCURRENCY 2006»
15 years 4 months ago
Middleware adaptation with the Delphoi service
Abstract-- Grid middleware needs to adapt to changing resources for a large variety of operations. Currently, information about Grid resources can be retrieved from various monitor...
Jason Maassen, Rob van Nieuwpoort, Thilo Kielmann,...