Sciweavers

5904 search results - page 245 / 1181
» Requirements for a Composition Language
Sort
View
BIRTHDAY
2004
Springer
15 years 9 months ago
Retracing the Semantics of CSP
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
Stephen D. Brookes
AINA
2009
IEEE
15 years 9 months ago
DAVO: A Domain-Adaptable, Visual BPEL4WS Orchestrator
The Business Process Execution Language for Web Services (BPEL4WS) is the de facto standard for the composition of web services into complex, valued-added workflows in both indus...
Tim Dörnemann, Markus Mathes, Roland Schwarzk...
SERVICES
2008
99views more  SERVICES 2008»
15 years 5 months ago
WS-BioZard: A Wizard for Composing Bioinformatics Web Services
As the amount of biological data continues to increase, how biologists share data and analysis tools efficiently is becoming an important issue. Web service technology is a promis...
Zhiming Wang, John A. Miller, Jessica C. Kissinger...
JSW
2007
119views more  JSW 2007»
15 years 4 months ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi
IACR
2011
147views more  IACR 2011»
14 years 4 months ago
Adaptive Security of Concurrent Non-Malleable Zero-Knowledge
A zero-knowledge protocol allows a prover to convince a verifier of the correctness of a statement without disclosing any other information to the verifier. It is a basic tool a...
Zhenfu Cao, Zongyang Zhang, Yunlei Zhao