Автор: Rituparna Chaki; Khalid Saeed; Sankhayan Choudhury Название: Applied Computation and Security Systems ISBN: 8132219872 ISBN-13(EAN): 9788132219873 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Part 3 of this volume is on Wireless Sensor Networking and it includes as many as six chapters.Volume II of the book has three Parts presenting a total of eleven chapters in it.
Описание: Transistor-level design for complex mixed-signal systems-on-chip remains difficult to automate. This book shows how a modified genetic algorithm kernel can improve efficiency in the analog IC design cycle and includes a worked example of the method.
Описание: Transistor-level design for complex mixed-signal systems-on-chip remains difficult to automate. This book shows how a modified genetic algorithm kernel can improve efficiency in the analog IC design cycle and includes a worked example of the method.
Описание: Provides an in-depth and even treatment of the three pillars of computational intelligence and how they relate to one another This book covers the three fundamental topics that form the basis of computational intelligence: neural networks, fuzzy systems, and evolutionary computation.
Описание: Assesses the benefits of learning methods in the data-mining area for information-security applications. This book includes such topics as information security, data mining, adaptive learning methods and soft computing among others.
Автор: Mike Barley; Haris Mouratidis; Amy Unruh; Diana F. Название: Safety and Security in Multiagent Systems ISBN: 3642048781 ISBN-13(EAN): 9783642048784 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: As intelligent autonomous agents and multiagent system applications become more pervasive, it becomes increasingly important to understand the risks associated with using these systems.
Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.
Автор: Pricop Название: Recent Advances in Systems Safety and Security ISBN: 331932523X ISBN-13(EAN): 9783319325231 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book represents a timely overview of advances in systems safety and security, based on selected, revised and extended contributions from the 2nd and 3rd editions of the International Workshop on Systems Safety and Security – IWSSS, held in 2014 and 2015, respectively, in Bucharest, Romania. It includes 14 chapters, co-authored by 34 researchers from 7 countries. The book provides an useful reference from both theoretical and applied perspectives in what concerns recent progress in this area of critical interest. Contributions, broadly grouped by core topic, address challenges related to information theoretic methods for assuring systems safety and security, cloud-based solutions, image processing approaches, distributed sensor networks and legal or risk analysis viewpoints. These are mostly accompanied by associated case studies providing additional practical value and underlying the broad relevance and impact of the field.
Описание: This book describes the challenges that critical infrastructure systems face, and presents state of the art solutions to address them.
Автор: Rituparna Chaki; Agostino Cortesi; Khalid Saeed; N Название: Advanced Computing and Systems for Security ISBN: 8132226488 ISBN-13(EAN): 9788132226482 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book contains the extended version of the works that have been presented and discussed in the Second International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2015) held during May 23-25, 2015 in Kolkata, India.
Автор: Rituparna Chaki; Agostino Cortesi; Khalid Saeed; N Название: Advanced Computing and Systems for Security ISBN: 8132226518 ISBN-13(EAN): 9788132226512 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book contains the extended version of the works that have been presented and discussed in the Second International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2015) held during May 23-25, 2015 in Kolkata, India.
Описание: In today's society the issue of security has become a crucial one. The use of knowledge-based technology in security applications emerges with important
applications in monitoring, control, crisis, and rescue management. This volume contains extended and improved versions of selected contributions presented at the International
Workshop "Monitoring, Security and Rescue Techniques in Multiagent Systems" (MSRAS 2004) held in Plock, Poland, June 7-9, 2004, bringing together the world's leading
researchers in the field.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
