Verification and Evaluation of Computer and Communication Systems, Mohamed Faouzi Atig; Saddek Bensalem; Simon Bliudz
Автор: Vladimir M. Vishnevskiy; Konstantin E. Samouylov; Название: Distributed Computer and Communication Networks ISBN: 3319668358 ISBN-13(EAN): 9783319668352 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 20th International Conference on Distributed and Computer and Communication Networks, DCCN 2017, held in Moscow, Russia, in September 2017.The 39 revised full papers and the two revised short papers presented were carefully reviewed and selected from 176 submissions.
Автор: Vladimir Vishnevsky; Dmitry Kozyrev; Andrey Larion Название: Distributed Computer and Communication Networks ISBN: 331905208X ISBN-13(EAN): 9783319052083 Издательство: Springer Рейтинг: Цена: 8106.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 17th International Conference on Distributed Computer and Communication Networks, DCCN 2013, held in Moscow, Russia, in October 2013. The papers cover the following subjects: computer and communication networks architecture optimization; control in computer and communication networks;
Автор: Kamel Barkaoui; Hanifa Boucheneb; Ali Mili; Sofi?n Название: Verification and Evaluation of Computer and Communication Systems ISBN: 3319661752 ISBN-13(EAN): 9783319661759 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation.- Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation.- Control methods.- Modeling methodologies.- Model development and analysis.- Modeling and simulation.- Formal mehods.
Автор: Pierre Ganty; Mohamed Ka?niche Название: Verification and Evaluation of Computer and Communication Systems ISBN: 3030350916 ISBN-13(EAN): 9783030350918 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 13th International Conference on Veri?cation and Evaluation of Computer and Communication Systems ( VECoS 2019), held in Porto, Portugal, in October 2019.The 7 full papers in this volume, presented together with two invited talks, were carefully reviewed and selected from 13 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veri?cation, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veri?cation and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
DDoS 3.0 - How terrorists bring down the Internet.- SGsim: Co-Simulation Framework for ICT-Enabled Power Distribution Grids.- Improving Cross-Traffic Bounds in Feed-Forward Networks -- There is a Job for Everyone.- Stochastic analysis of energy consumption in pool depletion systems.- Moving queue on a network.- A Multi-commodity Simulation Tool Based on TRIANA.- Performance and Precision of Web Caching Simulations for Zipf Request Pattern.- PSTeC: A Location-time Driven Modelling Formalism for Probabilistic Real-time Systems.- Analysis of Hierarchical Semi-Markov Processes with Parallel Regions.- Combining Mobility Models with Arrival Processes.- Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams.- Resolving Contention for Networks-on-Chips: Combining Time-triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use.- The Weak Convergence of TCP Bandwidth Sharing.- Analysis of Mitigation Measures for Timing Attacks in Mobile Offloading Systems.- Capabilities of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres.- Ensemble-Based Uncertainty Quantification for Smart Grid Co-Simulation.
Автор: Vladimir Vishnevsky; Dmitry Kozyrev Название: Distributed Computer and Communication Networks ISBN: 3319308424 ISBN-13(EAN): 9783319308425 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Thisbook constitutes the refereed proceedings of the 18th International Conferenceon Distributed and Computer and Communication Networks, DCCN 2015, held inMoscow, Russia, in October 2015.The 38 revised full papers presented were carefully reviewed andselected from 94 submissions.
Автор: Tai-hoon Kim; Dae-sik Ko; Thanos Vasilakos; Adrian Название: Computer Applications for Communication, Networking, and Digital Contents ISBN: 3642355935 ISBN-13(EAN): 9783642355936 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the refereed proceedings of the International Conferences, FGCN and DCA 2012, held as part of the Future Generation Information Technology Conference, FGIT 2012, Kangwondo, Korea, in December 2012.
Автор: Miguel Botto-Tobar; Julio Barzola-Monteses; Eduard Название: Computer and Communication Engineering ISBN: 3030120171 ISBN-13(EAN): 9783030120177 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the First International Conference on Computer and Communication Engineering, ICCCE 2018, held in Guayaquil, Ecuador, in October 2018.The 12 full papers presented were carefully reviewed and selected from 68 submissions. The papers deal with topics such as networking protocols and performance; software engineering; information systems; and computational intelligence. They are organized in the following topical headings: communications; and computer and software engineering.
Автор: Vladimir M. Vishnevskiy; Konstantin E. Samouylov; Название: Distributed Computer and Communication Networks ISBN: 3030366138 ISBN-13(EAN): 9783030366131 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 22nd International Conference on Distributed and Computer and Communication Networks, DCCN 2019, held in Moscow, Russia, in September 2019. The 44 full papers and 2 short papers were carefully reviewed and selected from 174 submissions.
Автор: Vladimir M. Vishnevskiy; Konstantin E. Samouylov; Название: Distributed Computer and Communication Networks ISBN: 3030366243 ISBN-13(EAN): 9783030366247 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 22nd International Conference on Distributed and Computer and Communication Networks, DCCN 2019, held in Moscow, Russia, in September 2019.The 50 full papers and 2 short papers were carefully reviewed and selected from 174 submissions. The papers cover the following topics: Computer and Communication Networks and Technologies, Analytical Modeling of Distributed Systems, and Distributed Systems Applications.
Описание: With the rapid growth of technology in society, communication networks have become a heavily researched topic. Implementing these advanced systems is a challenge, however, due to the abundance of optimization problems within these networks. The use of meta-heuristic algorithms and nature-inspired computing has become a prevalent technique among researchers for solving these complex problems within communication networks. Despite its popularity, this specific computing technique lacks the appropriate amount of research that is needed for professionals to grasp a definite understanding. Nature-Inspired Computing Applications in Advanced Communication Networks is a collection of innovative research on the methods and applications of natural computation techniques and algorithms within communication systems such as wireless sensor networks, vehicular adhoc networks, and internet of things. While highlighting topics including mobile sensor deployment, routing optimization, and sleep scheduling, this book is ideally designed for researchers, network professionals, computer scientists, mathematicians, developers, scholars, educators, and students seeking to enhance their understanding of nature-inspired computing and its solutions within various advanced communication networks.
Автор: Binxing Fang, Yan Jia Название: Information and Communication ISBN: 3110597845 ISBN-13(EAN): 9783110597844 Издательство: Walter de Gruyter Рейтинг: Цена: 16169.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The three volume set provides a systematic overview of theories and technique on social network analysis. Volume 3 of the set mainly focuses on the propagation models and evolution rules of information. Information retrieval and dissemination, topic discovery and evolution, algorithms of influence maximization are discussed in detail. It is an essential reference for scientist and professionals in computer science.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
