Verification of Communication Protocols in Web Services von Kazi Sakib | Model-Checking Service Compositions | ISBN 9780470905395

Verification of Communication Protocols in Web Services

Model-Checking Service Compositions

von Kazi Sakib, Zahir Tari und Peter Bertok
Mitwirkende
Autor / AutorinKazi Sakib
Autor / AutorinZahir Tari
Autor / AutorinPeter Bertok
Buchcover Verification of Communication Protocols in Web Services | Kazi Sakib | EAN 9780470905395 | ISBN 0-470-90539-5 | ISBN 978-0-470-90539-5
Leseprobe

Verification of Communication Protocols in Web Services

Model-Checking Service Compositions

von Kazi Sakib, Zahir Tari und Peter Bertok
Mitwirkende
Autor / AutorinKazi Sakib
Autor / AutorinZahir Tari
Autor / AutorinPeter Bertok
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.