Verification of Communication Protocols in Web Services: Model‐Checking Service Compositions

丛 书 名：Wiley Series on Parallel and Distributed Computing

版本说明：1

作     者：Zahir Tari Peter Bertok Anshuman Mukherjee 

I S B N：(纸本) 9780470905395 

出 版 社：John Wiley & Sons  Inc. 

出 版 年：2013年

页      数：272页

主 题 词：Computer Engineering 

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

馆 藏 号：201126725...

摘      要：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.