Verification of Communication Protocols in Web Services
- Length: 272 pages
- Edition: 1
- Language: English
- Publisher: Wiley
- Publication Date: 2013-12-09
- ISBN-10: 0470905395
- ISBN-13: 9780470905395
- Sales Rank: #6517174 (See Top 100 Books)
In the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sensor networking related issues, researchers have been putting various efforts and coming up with innovative ideas. Within the last few years, we have seen a steep growth of research works particularly on various sensor node organization issues. The objective of this book is to gather recent advancements in the fields of self-organizing wireless sensor networks as well as to provide the readers with the essential information about sensor networking.
Table of Contents
Chapter 1 Introduction: Service Reliability
Chapter 2 Model Checking
Chapter 3 Petri Nets
Chapter 4 Web Services
Chapter 5 Memory-Efficient State-Space Analysis In Software Model Checking
Chapter 6 Time-Efficient State-Space Analysis In Software Model Checking
Chapter 7 Generating Hierarchical Models By Identifying Structural Similarities
Chapter 8 Framework For Modeling, Simulation, And Verification Of A Bpel Specification
Chapter 9 Conclusions And Outlook
Donate to keep this site alive
1. Disable the AdBlock plugin. Otherwise, you may not get any links.
2. Solve the CAPTCHA.
3. Click download link.
4. Lead to download server to download.