Verification of Communication Protocols in Web Services: Model-Checking Service Compositions: 83 (Wiley Series on Parallel and Distributed Computing)

Kazi Sakib, Zahir Tari, Peter Bertok

ISBN 10: 0470905395 / ISBN 13: 9780470905395

Published by Wiley 2013-12-06, 2013

About this Item

Seller Inventory # 6666-WLY-9780470905395

Bibliographic Details

• Title: Verification of Communication Protocols in Web Services: Model-Checking Service Compositions: 83 (Wiley Series on Parallel and Distributed Computing)
• Publisher: Wiley 2013-12-06
• Publication Date: 2013
• Language: English
• ISBN 10: 0470905395
• ISBN 13: 9780470905395
• Binding: Hardcover
• Condition: New

About this title

Synopsis

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.

About the Author

ZAHIR TARI, PhD, is Professor in Distributed Systems at the Royal Melbourne Institute of Technology (RMIT University), and head of the Distributed Systems and Networking group at the School of Computer Science and IT. He is the author of two books, editor of over four, and has been published in numerous prestigious journals and conferences.

PETER BERTOK researches and lectures on networked and distributed systems at RMIT University. He has over 100 publications for conferences and journals and has written numerous book chapters. He is vice chair of the IFIP Working Group on Co-operation Infrastructure for Virtual Enterprises and Electronic Business, and is a member of the IEEE and the ACM.

Anshuman Mukherjee teaches at the Institute of Information Technology, University of Dhaka in Bangladesh. He has published multiple works on sensor networking in addition to authoring one book on the subject.