This book constitutes the refereed post-conference proceedings of the International Conferences ICCASA and ICTCC 2020, held in November 2020 in Thai Nguyen, Vietnam.
The 27 revised full papers presented were carefully selected from 68 submissions. The papers of ICCASA cover a wide spectrum in the area of context-aware-systems. CAS is characterized by its self- facets such as self-organization, self-configuration, self-healing, self-optimization, self-protection used to dynamically control computing and networking functions. The papers of ICTCC cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication.
Context Aware Systems and Applications.- Formal Verification of Multi-agent Plans for Vehicle Platoon.- Contextual Defeasible Reasoning Framework for Heterogeneous System.- Abnormality Bone Detection in X-ray Images using Convolutional Neural Network.- Statistical Properties and Modelling of DDoS Attacks.- Estimating Surface Land Temperature and Emissivity in Ho Chi Minh City Using Remote Sensing Images.- A Comparison between Stack Auto-Encoder and Deep Belief Network in River Run-off Prediction.- Developing Data Model Managing Residents by Space and Time in Three-Dimensional Geographic Space.- Trigger2B: A Tool Generating Event-B Models from Database Triggers.- Predicting the level of Hypertension Using Machine Learning.- Can Blockchain Fly the Silver Fern? Exploring the opportunity in New Zealands primary industries.- Design and Implementation of a real-time web service for monitoring soil moisture and landslide in Lai Chau province, Viet Nam.- Optimizing the operational time of IoTdevices in Cloud-Fog systems.- Proposing Spatial - Temporal - Semantic Data Model Managing Genealogy and Space Evolution History of Objects in 3D Geographical Space.- Modelling Situation-aware Formalism using BDI Reasoning Agents.- Using Empathy Mapping in Design Thinking Prl³ę