Описание: This book constitutes the refereed proceedings of the 12th International Development Informatics Association Conference, IDIA 2022, held in Mbombela, South Africa, in November 2022. The 20 revised full papers presented in this volume were carefully reviewed and selected from 61 submissions. The papers are organized in topical sections on theories and practices in digital-for-development ecosystems; emerging technologies for transformation, inclusion and sustainable development; privacy and security in digital-for-development ecosystems; human-computer interaction (HCI) for digital inclusion; artificial intelligence (AI) for good.
Описание: Model-Based Testing.- Using Model Learning for the Generation of Mock Components.- Interrogating Virtual Agents: In Quest of Security Vulnerabilities.- Giving a Model-based Testing Language a Formal Semantics via Partial MAX-SAT.- Learning Abstracted Non-Deterministic Finite State Machines.- Security Testing.- APPregator: a large-scale platform for mobile security analysis.- Vulsploit: a module for semi-automatic exploitation of vulnerabilities.- About the Robustness and Looseness of Yara Rules.- Measurement-based analysis of a DoS Defense Module for an Open Source Web Server.- Trust is in the air: a new adaptive method to evaluate mobile wireless networks.- Enabling Next-Generation Cyber Ranges with Mobile Security Components.- Testing Methods and Applications.- A Technique for Parallel GUI Testing of Android Applications.- Trigger Alarm A Smart NFC Sniffer for High-Precision Measurements.- Methods for Live Testing of Cloud Services.- Testing Methods and Automation.- Automated Transition Coverage in Behavioural Conformance Testing.- An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm.- Automatic Fairness Testing of Machine Learning Models.- Inspecting Code Churns to Prioritize Test Cases.- Short Contributions.- Using an SMT solver for checking the completeness of FSM-based tests.- Hacking Goals: a goal-centric attack taxonomy in computer systems.- A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems.- Architecture based on keyword driven testing with domain specific language for a testing system.
Автор: Christophe Gaston; Nikolai Kosmatov; Pascale Le Ga Название: Testing Software and Systems ISBN: 3030312798 ISBN-13(EAN): 9783030312794 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019.
Описание: This book gathers high-quality papers presented at the First International Conference on Sustainable Technologies for Computational Intelligence (ICTSCI 2019), which was organized by Sri Balaji College of Engineering and Technology, Jaipur, Rajasthan, India, on March 29-30, 2019.
Описание: This book gathers high-quality papers presented at the Second International Conference on Sustainable Technologies for Computational Intelligence (ICTSCI 2021) held at Graphic Era University, Dehradun, India, during May 22-23, 2021.
Автор: Rokia Missaoui; Talel Abdessalem; Matthieu Latapy Название: Trends in Social Network Analysis ISBN: 331953419X ISBN-13(EAN): 9783319534190 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book collects contributions from experts worldwide addressing recent scholarship in social network analysis such as influence spread, link prediction, dynamic network biclustering, and delurking.
Автор: Bigand Название: Image Quality Assessment of Computer-generated Images ISBN: 331973542X ISBN-13(EAN): 9783319735429 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Image Quality Assessment is well-known for measuring the perceived image degradation of natural scene images but is still an emerging topic for computer-generated images.
Автор: Hiromitsu Kumamoto Название: Satisfying Safety Goals by Probabilistic Risk Assessment ISBN: 1849966419 ISBN-13(EAN): 9781849966412 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is a methodological approach to the goal-based safety design procedure that will soon be an international requirement. This is the first single volume book to describe how to satisfy safety goals by modern reliability engineering. Its focus is on the quantitative aspects of the international standards using a methodological approach.
Автор: Russell G. Almond; Robert J. Mislevy; Linda S. Ste Название: Bayesian Networks in Educational Assessment ISBN: 1493938282 ISBN-13(EAN): 9781493938285 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction.- An Introduction to Evidence-Centered Design.- Bayesian Probability and Statistics: a review.- Basic graph theory and graphical models.- Efficient calculations.- Some Example Networks.- Explanation and Test Construction.- Parameters for Bayesian Network Models.- Learning in Models with Fixed Structure.- Critiquing and Learning Model Structure.- An Illustrative Example.- The Conceptual Assessment Framework.- The Evidence Accumulation Process.- The Biomass Measurement Model.- The Future of Bayesian Networks in Educational Assessment.- Bayesian Network Resources.- References.
Автор: Hing Kai Chan; Xiaojun Wang Название: Fuzzy Hierarchical Model for Risk Assessment ISBN: 1447160746 ISBN-13(EAN): 9781447160748 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a fuzzy-based hierarchical approach to risk management problems, tackling imprecise information with qualitative and quantitative criteria. Uses case studies from the food, fashion and electronics sectors on supply chain management and more.
Автор: Omar K. Hussain; Tharam S. Dillon; Farookh K. Huss Название: Risk Assessment and Management in the Networked Economy ISBN: 3642443168 ISBN-13(EAN): 9783642443169 Издательство: Springer Рейтинг: Цена: 16977.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is unique in simultaneously taking into account the likelihood of an event occurring and its financial impact and provides an integrated discussion of the process of transactional risk identification, assessment, evaluation, management and recording in these emerging domains.
Автор: Bing-Yuan Cao; Sheng-Quan Ma; Hu-hua Cao Название: Ecosystem Assessment and Fuzzy Systems Management ISBN: 3319034480 ISBN-13(EAN): 9783319034485 Издательство: Springer Рейтинг: Цена: 25155.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "Ecosystem Assessment and Fuzzy Systems Management" is the edited outcome of the 3rd International Conference on Ecosystem Assessment Management (ICEAM) and the Workshop on the Construction of an Early Warning Platform for Eco-tourism (WCEWPE) in Hainan on May 5-12, 2013, Haikou, China.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
