Autonomous Control for a Reliable Internet of Services
Autonomous Control for a Reliable Internet of Services

Author: Ivan Ganchev

Publisher: Springer

Published: 2018-05-30

Total Pages: 416

ISBN-13: 3319904159

DOWNLOAD EBOOK

This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, researchers, engineers, and research strategists working in this field. The explosive growth of the Internet has fundamentally changed the global society. The emergence of concepts like SOA, SaaS, PaaS, IaaS, NaaS, and Cloud Computing in general has catalyzed the migration from the information-oriented Internet into an Internet of Services (IoS). This has opened up virtually unbounded possibilities for the creation of new and innovative services that facilitate business processes and improve the quality of life. However, this also calls for new approaches to ensuring the quality and reliability of these services. The objective of this book is, by applying a systematic approach, to assess the state-of-the-art and consolidate the main research results achieved in this area.

Autonomous Control for a Reliable Internet of Services
Autonomous Control for a Reliable Internet of Services

Author: Ivan Ganchev

Publisher:

Published: 2020-10-08

Total Pages: 414

ISBN-13: 9781013269196

DOWNLOAD EBOOK

This open access book was prepared as a Final Publication of the COST Action IC1304 "Autonomous Control for a Reliable Internet of Services (ACROSS)". The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, researchers, engineers, and research strategists working in this field.The explosive growth of the Internet has fundamentally changed the global society. The emergence of concepts like SOA, SaaS, PaaS, IaaS, NaaS, and Cloud Computing in general has catalyzed the migration from the information-oriented Internet into an Internet of Services (IoS). This has opened up virtually unbounded possibilities for the creation of new and innovative services that facilitate business processes and improve the quality of life. However, this also calls for new approaches to ensuring the quality and reliability of these services. The objective of this book is, by applying a systematic approach, to assess the state-of-the-art and consolidate the main research results achieved in this area. This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

Software Defined Mobile Networks (SDMN)
Software Defined Mobile Networks (SDMN)

Author: Madhusanka Liyanage

Publisher: John Wiley & Sons

Published: 2015-06-17

Total Pages: 440

ISBN-13: 1118900278

DOWNLOAD EBOOK

This book describes the concept of a Software Defined Mobile Network (SDMN), which will impact the network architecture of current LTE (3GPP) networks. SDN will also open up new opportunities for traffic, resource and mobility management, as well as impose new challenges on network security. Therefore, the book addresses the main affected areas such as traffic, resource and mobility management, virtualized traffics transportation, network management, network security and techno economic concepts. Moreover, a complete introduction to SDN and SDMN concepts. Furthermore, the reader will be introduced to cutting-edge knowledge in areas such as network virtualization, as well as SDN concepts relevant to next generation mobile networks. Finally, by the end of the book the reader will be familiar with the feasibility and opportunities of SDMN concepts, and will be able to evaluate the limits of performance and scalability of these new technologies while applying them to mobile broadb and networks.

Composing Model-Based Analysis Tools
Composing Model-Based Analysis Tools

Author: Robert Heinrich

Publisher: Springer Nature

Published: 2021-12-02

Total Pages: 311

ISBN-13: 3030819159

DOWNLOAD EBOOK

This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the Dagstuhl Seminar 19481 „Composing Model-Based Analysis Tools“, which was held November 24 to 29, 2019, at Schloss Dagstuhl, Germany, where current challenges, their background and concepts to address them were discussed. The book is structured in two parts, and organized around five fundamental core aspects of the subject: (1) the composition of languages, models and analyses; (2) the integration and orchestration of analysis tools; (3) the continual analysis of models; (4) the exploitation of results; and (5) the way to handle uncertainty in model-based developments. After a chapter on foundations and common terminology and a chapter on challenges in the field, one chapter is devoted to each of the above five core aspects in the first part of the book. These core chapters are accompanied by additional case studies in the second part of the book, in which specific tools and experiences are presented in more detail to illustrate the concepts and ideas previously introduced. The book mainly targets researchers in the fields of software engineering and formal methods as well as software engineers from industry with basic familiarity with quality properties, model-driven engineering and analysis tools. From reading the book, researchers will receive an overview of the state-of-the-art and current challenges, research directions, and recent concepts, while practitioners will be interested to learn about concrete tools and practical applications in the context of case studies.

Composability, Comprehensibility and Correctness of Working Software
Composability, Comprehensibility and Correctness of Working Software

Author: Zoltán Porkoláb

Publisher: Springer Nature

Published: 2023-11-18

Total Pages: 398

ISBN-13: 3031428331

DOWNLOAD EBOOK

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019. The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.

Advanced Computing in Industrial Mathematics
Advanced Computing in Industrial Mathematics

Author: Ivan Georgiev

Publisher: Springer Nature

Published: 2023-10-28

Total Pages: 256

ISBN-13: 3031420101

DOWNLOAD EBOOK

This book gathers the peer-reviewed proceedings of the 14th Annual Meeting of the Bulgarian Section of the Society for Industrial and Applied Mathematics, BGSIAM'19, held in Sofia, Bulgaria. The general theme of BGSIAM'19 was industrial and applied mathematics with particular focus on mathematical physics, numerical analysis, high-performance computing, optimization and control, mathematical biology, stochastic modeling, machine learning, digitization and imaging, and advanced computing in environmental, biomedical, and engineering applications.

Advances in High Performance Computing
Advances in High Performance Computing

Author: Ivan Dimov

Publisher: Springer Nature

Published: 2020-08-07

Total Pages: 464

ISBN-13: 3030553477

DOWNLOAD EBOOK

Every day we need to solve large problems for which supercomputers are needed. High performance computing (HPC) is a paradigm that allows to efficiently implement large-scale computational tasks on powerful supercomputers unthinkable without optimization. We try to minimize our effort and to maximize the achieved profit. Many challenging real world problems arising in engineering, economics, medicine and other areas can be formulated as large-scale computational tasks. The volume is a comprehensive collection of extended contributions from the High performance computing conference held in Borovets, Bulgaria, September 2019. This book presents recent advances in high performance computing. The topics of interest included into this volume are: HP software tools, Parallel Algorithms and Scalability, HPC in Big Data analytics, Modelling, Simulation & Optimization in a Data Rich Environment, Advanced numerical methods for HPC, Hybrid parallel or distributed algorithms. The volume is focused on important large-scale applications like Environmental and Climate Modeling, Computational Chemistry and Heuristic Algorithms.

Intelligent and Fuzzy Systems
Intelligent and Fuzzy Systems

Author: Cengiz Kahraman

Publisher: Springer Nature

Published: 2023-08-16

Total Pages: 795

ISBN-13: 3031397770

DOWNLOAD EBOOK

This book consists of the papers accepted after a careful review process at an international scientific meeting where the latest developments on intelligent and fuzzy systems are presented and discussed. The latest developments in both the theoretical and practical fields of the new fuzzy set extensions have been prepared by expert researchers. Contributed by participants from more than 40 different countries, this book is also a useful resource in terms of showing the levels that fuzzy and intelligent systems have reached in various countries of the world. The intended readers are intelligent and fuzzy systems researchers, lecturers, M.Sc., and Ph.D. students studying fuzzy sets and artificial intelligence. The book covers fuzzy logic theory and applications, heuristics, and metaheuristics from optimization to machine learning, from quality management to risk management, making the book an excellent source for researchers.

Building the Hyperconnected Society- Internet of Things Research and Innovation Value Chains, Ecosystems and Markets
Building the Hyperconnected Society- Internet of Things Research and Innovation Value Chains, Ecosystems and Markets

Author: Ovidiu Vermesan

Publisher: CRC Press

Published: 2022-09-01

Total Pages: 180

ISBN-13: 1000796116

DOWNLOAD EBOOK

This book aims to provide a broad overview of various topics of Internet of Things (IoT), ranging from research, innovation and development priorities to enabling technologies, nanoelectronics, cyber-physical systems, architecture, interoperability and industrial applications. All this is happening in a global context, building towards intelligent, interconnected decision making as an essential driver for new growth and co-competition across a wider set of markets. It is intended to be a standalone book in a series that covers the Internet of Things activities of the IERC – Internet of Things European Research Cluster from research to technological innovation, validation and deployment.The book builds on the ideas put forward by the European Research Cluster on the Internet of Things Strategic Research and Innovation Agenda, and presents global views and state of the art results on the challenges facing the research, innovation, development and deployment of IoT in future years. The concept of IoT could disrupt consumer and industrial product markets generating new revenues and serving as a growth driver for semiconductor, networking equipment, and service provider end-markets globally. This will create new application and product end-markets, change the value chain of companies that creates the IoT technology and deploy it in various end sectors, while impacting the business models of semiconductor, software, device, communication and service provider stakeholders. The proliferation of intelligent devices at the edge of the network with the introduction of embedded software and app-driven hardware into manufactured devices, and the ability, through embedded software/hardware developments, to monetize those device functions and features by offering novel solutions, could generate completely new types of revenue streams. Intelligent and IoT devices leverage software, software licensing, entitlement management, and Internet connectivity in ways that address many of the societal challenges that we will face in the next decade.

Uncertainty and Imprecision in Decision Making and Decision Support - New Advances, Challenges, and Perspectives
Uncertainty and Imprecision in Decision Making and Decision Support - New Advances, Challenges, and Perspectives

Author: Krassimir T. Atanassov

Publisher: Springer Nature

Published: 2023-10-20

Total Pages: 353

ISBN-13: 3031450698

DOWNLOAD EBOOK

This volume is composed of selected papers from two conferences held in Warsaw, Poland on October 13-15, 2022: the BOS/SOR’2022 - National Conference on Operational and Systems Research, one of premiere conferences in the field of operational and systems research, and the Twentith International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, IWIFSGN-2022, one of premiere conferences on fuzzy logic, notably on extensions of the traditional fuzzy sets, also comprising a considerable part on the Generalized Nets (GNs). A joint publication of selected papers from the two conferences follows a long tradition of such a joint organization, and – from a substantial point of view – combines systems modeling, systems analysis, broadly perceived operational research, notably optimization, decision making and decision support, with various aspects of uncertain and imprecise information and their related tools and techniques.