Human-Centered Software Engineering: 8th Ifip Wg 13.2 International Working Conference, Hcse 2020, Eindhoven, the Netherlands, November 30 - December, Bernhaupt Regina, Ardito Carmelo, Sauer Stefan
Описание: 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.
Описание: This book constitutes the refereed proceedings of the 13th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2019, held in Copenhagen, Denmark, in July 2019. The 7 revised full papers, 3 short papers, and 6 work-in-progress papers presented were carefully reviewed and selected from 32 submissions.
Описание: This book constitutes the refereed proceedings of the IFIP WG 8.2, 9.1, 9.4 Joint Working Conference on the Future of Digital Work: The Challenge of Inequality, IFIPJWC 2020, which was supposed to be held in Hyderabad, India, in December 2020, but was held virtually due to the COVID-19 pandemic.
Enterprise Modeling and Enterprise Architecture.- Formal Aspects of Enterprise Modelling.- Foundations and Applications of Enterprise Modeling.- Enterprise Ontologies.- Business Process Modeling.- Risk and Security Modeling.- Requirements Modeling.- Process Mining.
Описание: They provide a comprehensive overview of major challenges and recent advances in various domains related to the digital transformation and collaborative networks and their applications with a strong focus on the following areas related to the main theme of the conference: collaborative business ecosystems;
Описание: This book constitutes the refereed post-conference proceedings of the Second IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2019, held in Tampa, USA, in October/ November 2019. The 11 full papers presented were carefully reviewed and selected from 22 submissions.
Описание: This book constitutes the refereed post-conference proceedings of the Second IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2019, held in Tampa, USA, in October/ November 2019. The 11 full papers presented were carefully reviewed and selected from 22 submissions.
Описание: This book constitutes the refereed proceedings of the 13th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2020, held in Wageningen, The Netherlands, in February 2020. The 22 full papers and 3 short papers were carefully reviewed and selected from 29 submissions.
Описание: Games.- Serious Violence: The Effects of Violent Elements in Serious Games.- Enhancing Game-Based Learning Through Infographics in the Context of Smart Home Security.- Automatic Generation of Game Levels Based on Controllable Wave Function Collapse Algorithm.- VR-DLR: A Serious Game of Somatosensory Driving Applied to Limb Rehabilitation Training.- A Procedurally Generated World for a Zombie Survival Game.- "Let's Play a Game!" Serious Games for Arabic Children with Dictation Difficulties.- Provchastic: Understanding and predicting game events using provenance.- Applying and Facilitating Serious Location-based Games.- The Braille Typist: A Serious Game Proposal for Braille Typewriter Training.- Murder Mystery Game Setting Research using Game Refinement Measurement.- Finding flow in training activities by exploring single-agent arcade game information dynamics.- Players Perception of Loot Boxes.- Braillestick: A Game Control Proposal for Blind Users Based on the Braille Typewriter.- Virtual Reality and Augmented Reality.- Conquer Catharsis - A VR Environment for Anxiety Treatment of Children and Adolescents.- Virtual Reality Games for Stroke Rehabilitation: A Feasibility Study.- Interactive Simulation of DNA Structure for Mobile- Learning.- Augmented Reality towards facilitating abstract concepts learning.- Enhancing Whale Watching with mobile Apps and Streaming Passive Acoustics.- Tell a Tail: Leveraging XR for a Transmedia on Animal Welfare.- Survival On Mars - A VR Experience.- Tangible Multi-Card Projector-based Interaction With Physics.- Co-Sound: An interactive medium with WebAR and spatial synchronization.- A Memory Game Proposal for Facial Expressions Recognition in Health Therapies.- Artificial Intelligence.- Procedural Creation of Behavior Trees for NPCs.- Developing Japanese Ikebana as a Digital Painting Tool via AI.- Learning of Art Style Using AI and Its Evaluation Based on Psychological Experiments.- Deep Learning-Based Segmentation of Key Objects of Transmission Lines.- Classification of Chinese and Western Painting Images based on Brushstrokes Feature.- Role and value of character design of social robots.- Edutainment and Art.- Clas-Maze: An Edutainment Tool Combining Tangible Programming and Living Knowledge.- To Binge or not To Binge: viewers'moods and behaviors during the consumption of subscribed video streaming.- Psychological Evaluation for Images/Videos Displayed using Large LED Display and Projector.- To Borrow Arrows with Thatched Boats: an educational game for early years under the background of Chinese Three Kingdoms culture.- Joгo em Foco: A Learning Object About the Dyslexia Disorder.-3D Modeling.- 3D Modeling and 3D Materialization of Fluid Art That Occurs in Very Short Time.- A 3D Flower Modeling Method Based on a Single Image .- Dynamic 3D Scanning Based on Optical Tracking.- Animation.- Body2Particles: Designing Particle Systems Using Body Gestures.- Discussion on the Art of Embryonic Form of computer Animation -- The Peepshow.
Описание: This book constitutes the refereed proceedings of the 13th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2020, held in Wageningen, The Netherlands, in February 2020. The 22 full papers and 3 short papers were carefully reviewed and selected from 29 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
