Verification of communication protocols in web services : model-checking service compositions /

Verification of communication protocols in web services : model-checking service compositions /

Includes bibliographical references and index

Bibliographic Details
Main Authors:	464078 Tari, Zahir, Bertk̤, Pťer, 1952-, Mukherjee, Anshuman
Format:
Language:	eng
Published:	Hoboken, New Jersey : Wiley, 2014
Subjects:	Web services Computer network protocols

Similar Items

GENERAL INFORMATION AND MAIN CHARACTERISTICS REGARDING WEB SERVICES. PROTOCOL SOAP AND REST
by: MIRONELA PIRNAU
Published: (2009-05-01)

Test and analysis of web services /
by: 182303 Baresi, Luciano, et al.
Published: (2007)

Discovery and composition of web services using artificial intelligence planning and web service modeling ontology /
by: Sayed Gholam Hassan Tabatabaei, 1981-, et al.
Published: (2010)

Discovery and composition of web services using artificial intelligence planning and web service modeling ontology [electronic resource] /
by: Sayed Gholam Hassan Tabatabaei, 1981, et al.
Published: (2010)

Privacy-preserved security-conscious framework to enhance web service composition /
by: Homa Movahednejad, 1982-, author, et al.
Published: (2016)

Privacy-preserved security-conscious framework to enhance web service composition /
by: Homa Movahednejad, 1982-, author
Published: (2016)

Web services with .NET /
by: 417618 P. Sellappan, et al.
Published: (2006)

Web services : an introduction /
by: 261975 Kumar, B.V, et al.
Published: (2004)

Web services research and practices /
by: Zhang, Liang-Jie
Published: (2008)

Enhanced methods for measuring quality of service and congestion for workflow-based web service compositions /
by: Hossein Nematzadeh Balagatabi, 1982- , author, et al.
Published: (2014)

Emerging web services technology /
by: Workshop on Emerging Web Services Technology (2006 : Zurich, Switzerland), et al.
Published: (2007)

Web services : principles and technology /
by: 428792 Papazoglou, Michael P.
Published: (2008)

Web services : theory and practice /
by: 363427 Guruge, Anura
Published: (2004)

PERBANDINGAN ANTARA “BIG” WEB SERVICE DENGAN RESTFUL WEB SERVICE UNTUK INTEGRASI DATA BERFORMAT GML
by: Adi Nugroho, et al.
Published: (2012-01-01)

Semantic Web services, processes and applications /
by: Cardoso, Jorge, 1970-, et al.
Published: (2006)

Hacking web services /
by: 201508 Shah, Shreeraj
Published: (2007)

Enhanced methods for measuring quality of service and congestion for workflow-based web service compositions [electronic resource] /
by: Hossein Nematzadeh Balagatabi, 1982-, et al.
Published: (2014)

Amazon Web Services In Action /
by: Wittig, Andreas, 1984-, author 653463, et al.
Published: (2023)

Modern technologies in web services research /
by: Zhang, Liang-Jie
Published: (2007)

Enhanced matching engine for improving the performance of semantic web service discovery /
by: Keyvan Mohebbi, 1975- , author 567255, et al.
Published: (2014)

Semantic web services : theory, tools and applications /
by: Cardoso, Jorge
Published: (2007)

AN INNOVATIVE FRAMEWORK FOR AUTO DYNAMIC SELECTION AND COMPOSITION OF WEB SERVICES
by: Khozema Shabbar, et al.
Published: (2018-01-01)

Classification and indexing algorithms with QOS filtering model to enhance web services discovery /
by: Jamous, Mamoun Mohamad, 1981- , author, et al.
Published: (2013)

QoS-Based web service composition based on genetic algorithm
by: Mohammad AllamehAmiri, et al.
Published: (2013-01-01)

Innovative Solutions and Applications of Web Services Technology /
by: Zhang, Liang-Jie, editor 339511, et al.
Published: (2019)

Emerging Web services technology [electronic resource]: /
by: Workshop on Emerging Web Services Technology (2006 : Zurich, Switzerland), et al.
Published: (2007)

Personalization of Rule-based Web Services
by: Sang Yong Han, et al.
Published: (2008-04-01)

Web Ranking and Rating Server Usng Web Service
by: F. A. Abdul Latef
Published: (2017-05-01)

Reconciling Semantic Heterogeneity in Web Services Composition
by: Li, Xitong, et al.
Published: (2011)

Web service composition: a semantic web and automated planning technique application
by: Jaime Alberto Guzmán Luna, et al.
Published: (2008-09-01)

Enhanced matching engine for improving the performance of semantic web service discovery [electronic resource] /
by: 567255 Keyvan Mohebbi, 1975- , author, et al.
Published: (2014)

A Fluent Calculus Approach to Automatic Web Service Composition
by: CHIFU, V., et al.
Published: (2009-10-01)

Developing farmasi murni system based on web services /
by: Ummu Hani' Hair Zaki, 1990-, et al.
Published: (2014)

Hacking web services [compact disc] /
by: 201508 Shah, Shreeraj
Published: (2007)

Verification and Processing of Academic Certificates Using Web Services
by: Anichebe Gregory Emeka
Published: (2024-01-01)

Semantic web services challenge : results from the first year /
Published: (2009)

Classification and indexing algorithms with QOS filtering model to enhance web services discovery [electronic resource] /
by: Jamous, Mamoun Mohamad, 1981-
Published: (2013)

Web based matchmaking : an application on developing a matrimonial based web service /
by: 258943 Ahgalya Subbiah, et al.
Published: (2009)

Service-Oriented Architecture (SOA) and Web Services
by: Claudiu PIRNAU, et al.
Published: (2017-03-01)

A Survey on Security of Web Services and its Implementations
by: Shridevi S., et al.
Published: (2017-06-01)