Verification of Communication Protocols in Web Services Model-Checking Service Compositions |
|
| Author:
| Sakib, Kazi
Tari, Zahir
Bertok, Peter |
| Series title: | Wiley Series on Parallel and Distributed Computing Ser. |
| ISBN: | 978-1-118-72023-3 |
| Publication Date: | Oct 2013 |
| Publisher: | John Wiley & Sons, Incorporated
|
| Book Format: | Digital download |
| List Price: | Contact Supplier contact
Contact Supplier contact
|
Book Description:
|
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...
More DescriptionIn 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.