Verification of Communication Protocols in Web Services
Model-Checking Service Compositions| By: | Kazi Sakib; Zahir Tari; Peter Bertok |
| Publisher: | Wiley Global Research (STMS) |
| Print ISBN: | 9780470905395 |
| eText ISBN: | 9781118720134 |
| Edition: | 1 |
| Copyright: | 2014 |
| Format: | Page Fidelity |
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
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.