Salvatore Distefano – författare

Distributed systems employed in critical infrastructures must fulfill dependability, timeliness, and performance specifications. Since these systems most often operate in an unpredictable environment, their design and maintenance require quantitative evaluation of deterministic and probabilistic timed models. This need gave birth to an abundant literature devoted to formal modeling languages combined with analytical and simulative solution techniquesThe aim of the book is to provide an overview of techniques and methodologies dealing with such specific issues in the context of distributed systems and covering aspects such as performance evaluation, reliability/availability, energy efficiency, scalability, and sustainability. Specifically, techniques for checking and verifying if and how a distributed system satisfies the requirements, as well as how to properly evaluate non-functional aspects, or how to optimize the overall behavior of the system, are all discussed in the book. The scope has been selected to provide a thorough coverage on issues, models. and techniques relating to validation, evaluation and optimization of distributed systems.  The key objective of this book is to help to bridge the gaps between modeling theory and the practice in distributed systems through specific examples.

Distributed systems employed in critical infrastructures must fulfill dependability, timeliness, and performance specifications. Since these systems most often operate in an unpredictable environment, their design and maintenance require quantitative evaluation of deterministic and probabilistic timed models. This need gave birth to an abundant literature devoted to formal modeling languages combined with analytical and simulative solution techniques

The aim of the book is to provide an overview of techniques and methodologies dealing with such specific issues in the context of distributed systems and covering aspects such as performance evaluation, reliability/availability, energy efficiency, scalability, and sustainability. Specifically, techniques for checking and verifying if and how a distributed system satisfies the requirements, as well as how to properly evaluate non-functional aspects, or how to optimize the overall behavior of the system, are all discussed in the book. The scope has been selected to provide a thorough coverage on issues, models. and techniques relating to validation, evaluation and optimization of distributed systems.  The key objective of this book is to help to bridge the gaps between modeling theory and the practice in distributed systems through specific examples.

Distributed systems employed in critical infrastructures must fulfill dependability, timeliness, and performance specifications. Since these systems most often operate in an unpredictable environment, their design and maintenance require quantitative evaluation of deterministic and probabilistic timed models. This need gave birth to an abundant literature devoted to formal modeling languages combined with analytical and simulative solution techniques

The aim of the book is to provide an overview of techniques and methodologies dealing with such specific issues in the context of distributed systems and covering aspects such as performance evaluation, reliability/availability, energy efficiency, scalability, and sustainability. Specifically, techniques for checking and verifying if and how a distributed system satisfies the requirements, as well as how to properly evaluate non-functional aspects, or how to optimize the overall behavior of the system, are all discussed in the book. The scope has been selected to provide a thorough coverage on issues, models. and techniques relating to validation, evaluation and optimization of distributed systems.  The key objective of this book is to help to bridge the gaps between modeling theory and the practice in distributed systems through specific examples.

The book is a collection of best selected research papers presented at 3rd International Conference on Advances in Computational Intelligence and Informatics (ICACII 2025) organized by Anurag University, Hyderabad, India, during 19–20 December 2025. It includes innovative ideas and new research findings in the field of Computational Intelligence and Informatics which is useful for researchers, scientists, technocrats, academicians, and engineers. The areas included are high performance system, data science and analytics, computational intelligence and expert systems, cloud computing, computer network, and emerging technologies.

The book is a collection of best selected research papers presented at 3rd International Conference on Advances in Computational Intelligence and Informatics (ICACII 2025) organized by Anurag University, Hyderabad, India, during 19-20 December 2025. It includes innovative ideas and new research findings in the field of Computational Intelligence and Informatics which is useful for researchers, scientists, technocrats, academicians, and engineers. The areas included are high performance system, data science and analytics, computational intelligence and expert systems, cloud computing, computer network, and emerging technologies.

This book constitutes the refereed proceedings of the 16th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2017, held in Messina, Italy, in September 2017. The 22 full and 9 short papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions were organized in topical sections named: internet of things; security; smart city; ad-hoc networks; implementations and validations; wireless sensor networks; data management; wireless systems.

This book constitutes the refereed proceedings of the 16th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2017, held in Messina, Italy, in September 2017.

The 22 full and 9 short papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions were organized in topical sections named: internet of things; security; smart city; ad-hoc networks; implementations and validations; wireless sensor networks; data management; wireless systems.

This book is a collection of outstanding papers presented at the 1st International Conference on Advances in Computational Intelligence and Informatics (ICACII 2019), organized by the Department of Computer Science & Engineering, Anurag Group of Institutions (AGI), Hyderabad, on 20–21 December 2019. It includes innovative ideas and new research findings in the field of Computational Intelligence and Informatics that will benefit researchers, scientists, technocrats, academics and engineers alike. The areas covered include high-performance systems, data science and analytics, computational intelligence and expert systems, cloud computing, computer networks and emerging technologies.

This book is a collection of outstanding papers presented at the 1st International Conference on Advances in Computational Intelligence and Informatics (ICACII 2019), organized by the Department of Computer Science & Engineering, Anurag Group of Institutions (AGI), Hyderabad, on 20–21 December 2019. It includes innovative ideas and new research findings in the field of Computational Intelligence and Informatics that will benefit researchers, scientists, technocrats, academics and engineers alike. The areas covered include high-performance systems, data science and analytics, computational intelligence and expert systems, cloud computing, computer networks and emerging technologies.

The book is a collection of best selected research papers presented at 2nd International Conference on Advances in Computational Intelligence and Informatics (ICACII 2023) organized by Anurag University, Hyderabad, India, during 22–23 December 2023. It includes innovative ideas and new research findings in the field of Computational Intelligence and Informatics which is useful for researchers, scientists, technocrats, academicians, and engineers. The areas included are high performance system, data science and analytics, computational intelligence and expert systems, cloud computing, computer network, and emerging technologies.