Verification of Communication Protocols in Web Services: Model-Checking Service Compositions
Zahir Tari, Peter Bertok, Anshuman Mukherjee(auth.)
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.
الفئات:
عام:
2013
الإصدار:
1
الناشر:
Wiley
اللغة:
english
الصفحات:
272
ISBN 10:
1118720105
ISBN 13:
9781118720103
سلسلة الكتب:
Wiley Series on Parallel and Distributed Computing
ملف:
PDF, 12.84 MB
IPFS:
,
english, 2013