Verification of Communication Protocols in Web Services
Model-Checking Service Compositions
Buch in deiner Nähe kaufen
Beschreibung
Gathers recent advancements in the field of self-organizing wireless sensor networks and provides readers with the essential, state-of-the-art information about sensor networking
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 put a great deal of effort into coming up with innovative ideas.
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions gathers recent advancements in the field of self-organizing wireless sensor networks and provides readers with integral information about sensor networking. It introduces current technological trends, particularly in node organization, and provides implementation details of each networking type to help readers set up sensor networks in their related job fields. In addition, it identifies the limitations of current technologies, as well as future research directions. Topics covered include:
* Memory Efficient State Space Analysis in Software Model-Checking
* Time Efficient State Space Analysis in Software Model-Checking
* Generating Hierarchical Models by Identifying Structural Similarities
* A Framework for Modeling, Simulation, and Verification of a BPEL Specification
Complete with chapter review and discussion questions, Verification of Communication Protocols in Web Services is an ideal book for network developers, researchers, and graduate-level students.
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.
Autor*in
Kazi Sakib
Themen in »Verification of Communication Protocols in Web Services«
Communication Technology - Networks Computer Engineering Computertechnik Electrical & Electronics Engineering Elektrotechnik u. Elektronik Kommunikationsnetz Kommunikationsnetze Sensor Sensoren, Instrumente u. Messung Sensors, Instrumentation & Measurement