Results 31 to 40 of about 489,444 (288)
A theorem proving framework for the formal verification of Web Services Composition [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be translated into ...
Petros Papapanagiotou +1 more
doaj +1 more source
Semi-automatic distribution pattern modeling of web service compositions using semantics [PDF]
, 2006 Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations or distribution patterns, which express how a composed system is to be ...
Barrett, Ronan, Pahl, Claus
core +2 more sources
Semantic Constraint and QoS-Aware Large-Scale Web Service Composition [PDF]
Journal of Artificial Intelligence and Data Mining, 2019 Service-oriented architecture facilitates the running time of interactions by using business integration on the networks. Currently, web services are considered as the best option to provide Internet services. Due to an increasing number of Web users and
E. Shahsavari, S. Emadi
doaj +1 more source
Domain Constraints-Driven Automatic Service Composition for Online Land Cover Geoprocessing
ISPRS International Journal of Geo-Information, 2022 With the rapid development of web service technology, automatic land cover web service composition has become one of the key challenges in solving complex geoprocessing tasks of land cover.
Huaqiao Xing +5 more
doaj +1 more source
Entropy, 2022 Web services have the advantage of being able to generate new value-added services based on existing services. To effectively compose Web services, the composition process necessitates that the services that will participate in a given composite service ...
Junwei Zhang, Deyu Li
doaj +1 more source
Reliable Execution Based on CPN and Skyline Optimization for Web Service Composition
The Scientific World Journal, 2013 With development of SOA, the complex problem can be solved by combining available individual services and ordering them to best suit user’s requirements. Web services composition is widely used in business environment.
Liping Chen, Weitao Ha, Guojun Zhang
doaj +1 more source
Interactive composition of WSMO based semantic web services in IRS-III [PDF]
, 2004 The discovery and integration of services in a composition are challenging tasks due to the lack of semantic in the Web services' description. WSMO community is working on developing ontologies and infrastructures to support Semantic Web Services.
Domingue, John +4 more
core +1 more source
Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin
Molecular Oncology, EarlyView.The ruthenium‐based metallodrug plecstatin exerts its anticancer effect in hepatocellular carcinoma (HCC) primarily through selective targeting of plectin. By disrupting plectin‐mediated cytoskeletal organization, plecstatin inhibits anchorage‐dependent growth, cell polarization, and tumor cell dissemination.
Zuzana Outla +10 more
wiley +1 more source
Extending OWL-S for the Composition of Web Services Generated With a Legacy Application Wrapper [PDF]
, 2012 Despite numerous efforts by various developers, web service composition is still a difficult problem to tackle. Lot of progressive research has been made on the development of suitable standards.
Gibaud, Bernard, Wali, Bacem
core +2 more sources
Arthritis Care &Research, EarlyView.Objective Sjögren's disease is an autoimmune disorder that can impact multiple organ systems, including the peripheral nervous system (PNS). PNS manifestations, which can exist concurrently, include mononeuropathies, polyneuropathies, and autonomic nervous system neuropathies.
Anahita Deboo +88 more
wiley +1 more source