Verification of Communication Protocols in Web Services. Model-Checking Service Compositions

Авторы:

Tari Zahir; Sakib Kazi; Bertok Peter

Жанры:

Языки и среды программирования; Зарубежная компьютерная литература

Агент:

John Wiley & Sons Limited (prof) EUR

Формат:

PDF книга

Объем:

272 стр

Язык книги:

английский

Правообладатель:

John Wiley & Sons Limited

Аннотация:

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.

Показать всё

Скрыть