Tari, Zahir
[VerfasserIn]
;
Bertók, Péter
[MitwirkendeR];
Mukherjee, Anshuman
[MitwirkendeR]Institute of Electrical and Electronics Engineers,
IEEE Computer Society
Verification of communication protocols in web services
: model-checking service compositions
Anmerkungen:
Includes bibliographical references and index. - Description based on print version record
Beschreibung:
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.