A verification strategy for web services composition using enhanced stacked automata model. [PDF]
Nagamouttou D +3 more
europepmc +1 more source
Stem cells-derived natural killer cells for cancer immunotherapy: current protocols, feasibility, and benefits of ex vivo generated natural killer cells in treatment of advanced solid tumors. [PDF]
Khodayari H +10 more
europepmc +1 more source
AWSCS-A System to Evaluate Different Approaches for the Automatic Composition and Execution of Web Services Flows. [PDF]
Tardiole Kuehne B +8 more
europepmc +1 more source
Service oriented architecture for clinical decision support: a systematic review and future directions. [PDF]
Loya SR, Kawamoto K, Chatwin C, Huser V.
europepmc +1 more source
A Comparison of Using Taverna and BPEL in Building Scientific Workflows: the case of caGrid. [PDF]
Tan W +4 more
europepmc +1 more source
A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems. [PDF]
Huang J, Zhu Y, Cheng B, Lin C, Chen J.
europepmc +1 more source
A model for correlation-based choreographic programming. [PDF]
Giallorenzo S, Montesi F, Gabbrielli M.
europepmc +1 more source
Requirements for guidelines systems: implementation challenges and lessons from existing software-engineering efforts. [PDF]
Shah H +5 more
europepmc +1 more source
A Component-Based Approach for Securing Indoor Home Care Applications. [PDF]
Agirre A +3 more
europepmc +1 more source
Informing the State of Process Modeling and Automation of Blood Banking and Transfusion Services Through a Systematic Mapping Study. [PDF]
Elhaj SA +5 more
europepmc +1 more source

