Communication Protocol Specification and Verification, Lai
Автор: S.T. Vuong; Samuel T. Chanson Название: Protocol Specification, Testing and Verification XIV ISBN: 0412636409 ISBN-13(EAN): 9780412636400 Издательство: Springer Рейтинг: Цена: 181630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Presents research worldwide on communications protocols, emphasizing specification and compliance testing. This book presents the proceedings of the fourteenth meeting on `Protocol Specification, Testing and Verification` arranged by the International Federation for Information Processing and held in Vancouver, Canada.
Автор: Jukka Suomela Название: Structural Information and Communication Complexity ISBN: 3319483137 ISBN-13(EAN): 9783319483139 Издательство: Springer Рейтинг: Цена: 61490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 23rd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2016, held in Helsinki, Finland in July 2016. The 25 full papers presented were carefully reviewed and selected from 50 submissions.
Автор: Reddy Название: Mobile Ad Hoc Networks ISBN: 1498746853 ISBN-13(EAN): 9781498746854 Издательство: Taylor&Francis Рейтинг: Цена: 168430.00 T Наличие на складе: Невозможна поставка. Описание:
In recent years, a lot of work has been done in an effort to incorporate Swarm Intelligence (SI) techniques in building an adaptive routing protocol for Mobile Ad Hoc Networks (MANETs). Since centralized approach for routing in MANETs generally lacks in scalability and fault-tolerance, SI techniques provide a natural solution through a distributed approach for the adaptive routing for MANETs. In SI techniques, the captivating features of insects or mammals are correlated with the real world problems to find solutions. Recently, several applications of bio-inspired and nature-inspired algorithms in telecommunications and computer networks have achieved remarkable success.
The main aims/objectives of this book, "Mobile Ad Hoc Networks: Bio-Inspired Quality of Service Aware Routing Protocols", are twofold; firstly it clearly distinguishes between principles of traditional routing protocols and SI based routing protocols, while explaining in detail the analogy between MANETs and SI principles. Secondly, it presents the readers with important Quality of Service (QoS) parameters and explains how SI based routing protocols achieves QoS demands of the applications. This book also gives quantitative and qualitative analysis of some of the SI based routing protocols for MANETs.
Автор: Atsushi Togashi; Tadanori Mizuno; Norio Shiratori; Название: Formal Description Techniques and Protocol Specification, Testing and Verification ISBN: 0412820609 ISBN-13(EAN): 9780412820601 Издательство: Springer Рейтинг: Цена: 231990.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: FORTE/PSTV `97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).
Автор: Piotr Dembinski; Marek Sredniawa Название: Protocol Specification, Testing and Verification XV ISBN: 0412716208 ISBN-13(EAN): 9780412716201 Издательство: Springer Рейтинг: Цена: 231990.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification` arranged by the International Federation for Information Processing.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
