Phan Cong-Vinh - Böcker

"Nature-inspired" includes, roughly speaking, "bio-inspired"+"physical-inspired"+"social-inspired"+ and so on. This book contains highly original contributions about how nature is going to shape networking systems of the future. Hence, it focuses on rigorous approaches and cutting-edge solutions, which encompass three classes of major methods: 1) Those that take inspiration from nature for the development of novel problem solving techniques; 2) Those that are based on the use of networks to synthesize natural phenomena; and 3) Those that employ natural materials to compute or communicate.

Despite the growing mainstream importance and unique advantages of autonomic networking-on-chip (ANoC) technology, Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification is among the first books to evaluate research results on formalizing this emerging NoC paradigm, which was inspired by the human nervous system.The FIRST Book to Assess Research Results, Opportunities, & Trends in "BioChipNets"The third book in the Embedded Multi-Core Systems series from CRC Press, this is an advanced technical guide and reference composed of contributions from prominent researchers in industry and academia around the world. A response to the critical need for a global information exchange and dialogue, it is written for engineers, scientists, practitioners, and other researchers who have a basic understanding of NoC and are now ready to learn how to specify, develop, and verify ANoC using rigorous approaches.Offers Expert Insights Into Technical Topics Including: Bio-inspired NoC How to map applications onto ANoC ANoC for FPGAs and structured ASICs Methods to apply formal methods in ANoC development Ways to formalize languages that enable ANoC Methods to validate and verify techniques for ANoC Use of "self-" processes in ANoC (self-organization, configuration, healing, optimization, protection, etc.) Use of calculi for reasoning about context awareness and programming models in ANoC With illustrative figures to simplify contents and enhance understanding, this resource contains original, peer-reviewed chapters reporting on new developments and opportunities, emerging trends, and open research problems of interest to both the autonomic computing and network-on-chip communities. Coverage includes state-of-the-art ANoC architectures, protocols, technologies, and applications. This volume thoroughly explores the theory behind ANoC to illustrate strategies that enable readers to use formal ANoC methods yet still make sound judgments and allow for reasonable justifications in practice.

Despite the growing mainstream importance and unique advantages of autonomic networking-on-chip (ANoC) technology, Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification is among the first books to evaluate research results on formalizing this emerging NoC paradigm, which was inspired by the human nervous system.The FIRST Book to Assess Research Results, Opportunities, & Trends in "BioChipNets"The third book in the Embedded Multi-Core Systems series from CRC Press, this is an advanced technical guide and reference composed of contributions from prominent researchers in industry and academia around the world. A response to the critical need for a global information exchange and dialogue, it is written for engineers, scientists, practitioners, and other researchers who have a basic understanding of NoC and are now ready to learn how to specify, develop, and verify ANoC using rigorous approaches.Offers Expert Insights Into Technical Topics Including: Bio-inspired NoC How to map applications onto ANoC ANoC for FPGAs and structured ASICs Methods to apply formal methods in ANoC development Ways to formalize languages that enable ANoC Methods to validate and verify techniques for ANoC Use of "self-" processes in ANoC (self-organization, configuration, healing, optimization, protection, etc.) Use of calculi for reasoning about context awareness and programming models in ANoC With illustrative figures to simplify contents and enhance understanding, this resource contains original, peer-reviewed chapters reporting on new developments and opportunities, emerging trends, and open research problems of interest to both the autonomic computing and network-on-chip communities. Coverage includes state-of-the-art ANoC architectures, protocols, technologies, and applications. This volume thoroughly explores the theory behind ANoC to illustrate strategies that enable readers to use formal ANoC methods yet still make sound judgments and allow for reasonable justifications in practice.

"Nature-inspired" includes, roughly speaking, "bio-inspired"+"physical-inspired"+"social-inspired"+ and so on. This book contains highly original contributions about how nature is going to shape networking systems of the future. Hence, it focuses on rigorous approaches and cutting-edge solutions, which encompass three classes of major methods: 1) Those that take inspiration from nature for the development of novel problem solving techniques; 2) Those that are based on the use of networks to synthesize natural phenomena; and 3) Those that employ natural materials to compute or communicate.

This book constitutes the refereed post-conference proceedings of the International Conferences ICCASA and ICTCC 2018, held in November 2018 in Viet Tri City, Vietnam. The 20 revised full papers presented were carefully selected from 30 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.

This book constitutes the refereed post-conference proceedings of the International Conferences ICCASA and ICTCC 2019, held in November 2019 in My Tho, Vietnam. The papers of ICTCC cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication.

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 papers of ICTCC cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication.

This book constitutes the refereed post-conference proceedings of the 7th International Conference on Nature of Computation and Communication, ICTCC 2021, held in October 2021.

This book constitutes the refereed post-conference proceedings of the International Conference on Context-Aware Systems and Applications, held in October 2021. Due to COVID-19 pandemic the conference was held virtually. The 25 revised full papers presented were carefully selected from 52 submissions.

This book constitutes the refereed post-conference proceedings of the International Conference on Context-Aware Systems and Applications, ICCASA 2023, held in Ho Chi Minh City, Vietnam, in October 2023. The 14 revised full papers presented were carefully selected from 36 submissions.

This book constitutes the refereed post-conference proceedings of the 9th International Conference on Nature of Computation and Communication, ICTCC 2023, held in Ho Chi Minh City, Vietnam, in October 2023. The 12 revised full papers presented were carefully selected from 30 submissions.

This book constitutes the refereed post-conference proceedings of the 10th EAI International Conference on Nature of Computation and Communication, ICTCC 2024, held in Dalat City, Vietnam, during October 15–16, 2024.The 7 full papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focus on modern technologies, approaches, and applications in smart computing and communication.

This book constitutes the refereed post proceedings of 13th EAI International Conference on Context-Aware Systems and Applications, ICCASA 2024, held in Dalat City, Vietnam, during October 15–16, 2024.The 9 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide spectrum of modern approaches and techniques for smart computing systems and their applications.

This book constitutes the referred post proceedings of the 14th International Conference on Context-Aware Systems and Applications, ICCASA 2025, held in Ho Chi Minh City, Vietnam, during October 15–16, 2025.The 30 full papers included in this volume were carefully reviewed and selected from 67 submissions. The papers cover a wide spectrum of modern approaches and techniques for smart computing systems and their applications.

This book constitutes the thoroughly refereed proceedings of the Second International Conference on Context-Aware Systems and Applications, ICCASA 2013, held in Phu Quoc Island, Vietnam in November 2013. The 36 revised full papers presented were carefully selected and reviewed from over 100 submissions and cover a wide spectrum of issues in the area of context-aware systems (CAS) and context-based recommendation systems.

This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Nature of Computation and Communication, ICTCC 2014, held in November 2014 in Ho Chi Minh City, Vietnam. The 34 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication.

This book constitutesthe thoroughly refereed proceedings of the 4th International Conference onContext-Aware Systems and Applications, ICCASA 2015, held in Vung Tau, Vietnam,in November 2015. The 44 revised full papers presented were carefully selectedand reviewed from over 100 submissions. The papers cover a wide spectrum ofissues in the area of context-aware systems (CAS) and context-basedrecommendation systems.CAS is characterized by its self- facets such as self-organization, self-configuration,self-healing, self-optimization, self-protection and so on whose context awarenessused to dynamically control computing and networking functions. The overallgoal of CAS is to realize nature-inspired autonomic systems that can manage themselveswithout direct human interventions.

This book constitutes the post-conference proceedings of the Second International Conference on Nature of Computation and Communication, ICTCC 2016, held in March 2016 in Rach Gia, Vietnam.The 36 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication.

This book constitutes the proceedings of the 5th International Conference on Context-Aware Systems and Applications, ICCASA 2016, held in Thu Dau Mot, Vietnam, in November 2016.The 22 revised full papers presented were carefully selected from 35 submissions and cover a wide spectrum in the area of Context-Aware-Systems (CAS). CAS is characterized by its self- facets such as self-organization, self-configuration, self-healing, self-optimization, self-protection, where context awareness used to dynamically control computing and networking functions. The overall goal of CAS is to realize nature-inspired autonomic systems that can manage themselves without direct human interventions.

This book constitutes the refereed post-conference proceedings of the International Conferences ICCASA and ICTCC 2017, held in November 2017 in Tam Ky City, Vietnam.The 23 revised full papers presented were carefully selected from 31 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.