Download or read book Innovative Computing and Communications written by Aboul Ella Hassanien and published by Springer Nature. This book was released on with total page 698 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Engineering Dependable and Secure Machine Learning Systems written by Onn Shehory and published by Springer Nature. This book was released on 2020-11-07 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the revised selected papers of the Third International Workshop on Engineering Dependable and Secure Machine Learning Systems, EDSMLS 2020, held in New York City, NY, USA, in February 2020. The 7 full papers and 3 short papers were thoroughly reviewed and selected from 16 submissions. The volume presents original research on dependability and quality assurance of ML software systems, adversarial attacks on ML software systems, adversarial ML and software engineering, etc.

Download or read book Human Interface and the Management of Information written by Hirohiko Mori and published by Springer Nature. This book was released on 2023-07-08 with total page 618 pages. Available in PDF, EPUB and Kindle. Book excerpt: This two-volume set LNCS 14015 - 14016 constitutes the thoroughly refereed proceedings of the thematic area Human Interface and the Management of Information, HIMI 2023, which was held as part of HCI International 2023 which took place in Copenhagen, Denmark, during July 23-28, 2023. A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings from a total of 7472 submissions. The papers included in the HCII-HIMI volume set were organized in topical sections as follows: Part I: Information design and user experience; data visualization and big data; multimodal interaction; interacting with AI and intelligent systems; Part II: Service design; knowledge in eLearning and eEducation; supporting work and collaboration.

Download or read book Quantum Software written by Iaakov Exman and published by Springer Nature. This book was released on 2024 with total page 360 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book explains the state of the art in quantum software engineering and design, independent from a specific hardware. It deals with quantum software theoretical aspects and with classical software engineering concepts like agile development approaches, validation, measurement, and deployment applied in a quantum or hybrid environment, and is complemented by a number of various industry applications. After an introductory chapter overviewing the contents of the subsequent chapters, the book is composed of three parts. It starts with a theoretical part on quantum software, as a bold declaration that quantum software theory is deep and valuable independent from the existence of specific quantum hardware. It is based upon the claim that quantum software is the more general theory subsuming classical and hybrid software system theories. The second, more extensive part deals with quantum software system and engineering design. Its quality follows from the comparison of the broad diversity of sometimes conflicting views. Moreover, the variety of approaches to design, enable the reader to make a well-pondered rational choice of preference. The book concludes with a third part, referring to multiple software applications and corresponding laboratory experiences, in order to understand their implications in practice and avoid repeating past mistakes. This book is of interest to industry professionals and researchers in academia, which are either producing or applying quantum software systems in their work or are considering their potential utility in the future. Furthermore, it also could be beneficial for practitioners already experienced with classical software engineering who desire to understand the fundamentals or possible applications of quantum software.

Download or read book Model Based Engineering of Collaborative Embedded Systems written by Wolfgang Böhm and published by Springer Nature. This book was released on 2020-12-14 with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.

Download or read book Tools and Algorithms for the Construction and Analysis of Systems written by Bernd Finkbeiner and published by Springer Nature. This book was released on with total page 439 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Frontiers in Software Engineering written by Giancarlo Succi and published by Springer Nature. This book was released on 2022-01-06 with total page 223 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes selected papers presented at the First International Conference on Frontiers in Software Engineering, ICFSE 2021, hekd in Innopolis, Russia, in June 2021. The 13 presented full papers were thoroughly reviewed and selected from 37 submissions. The papers present discussion on such topics as software engineering tools and environments; empirical software engineering; model-driven and domain-specific engineering, human factors and social aspects of software engineering, cooperative, distributed, and global software engineering, component-based software engineering, software metrics, and software engineering for green and sustainable technologies.

Download or read book Proceedings of the 2022 3rd International Conference on Modern Education and Information Management ICMEIM 2022 written by Vishalache Balakrishnan and published by Springer Nature. This book was released on 2023-02-10 with total page 1066 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is an open access book. As the process of social modernization continues to advance, people realize that the key to social modernization is the modernization of people, and the modernization of people is inseparable from the modernization of education. It can be seen that education modernization is the foundation of social modernization. Education modernization is an important reform direction of education development, including modernization of education concept, modernization of education content, modernization of education equipment, modernization of teachers and modernization of education management. And information management is one of the important methods to realize education modernization Information management is the social activity of planning, organizing, leading and controlling information resources by means of modern information technology in order to effectively develop and utilize information resources. Simply put, information management is the management of information resources and information activities by human beings. Information management is a general term for the information that people collect, process and input and output in the whole management process. The process of information management includes information collection, information transmission, information processing and information storage. Using the new generation of information management technology to enhance the digitalization, networking and intelligence of education management, promote the transformation of education decision-making from experience-driven to data-driven, education management from one-way management to collaborative governance, education service from passive response to active service, and support the modernization of education governance system and governance capacity with information technology. Focusing on education and information management with modernization, this conference provides a platform for scholars in related fields to exchange and share information, discuss how the two affect each other, and: Promote the modernization of education by studying certain educational issues that exist. Open up new perspectives, broaden horizons, and examine the issues under discussion by participants. Create a forum for sharing, research and exchange at an international level, where participants will be informed of the latest research directions, results and content in different fields, thus inspiring them to come up with new research ideas. For those who cannot attend the conference, papers in the social sciences and humanities will be accepted and published in the form of conference proceedings.

Download or read book Evaluation of Novel Approaches to Software Engineering written by Hermann Kaindl and published by Springer Nature. This book was released on with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Software Architecture written by Anton Jansen and published by Springer Nature. This book was released on 2020-09-09 with total page 370 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, held in A’quila, Italy, in September 2020. In the Research Track, 12 full papers presented together with 5 short papers were carefully reviewed and selected from 103 submissions. They are organized in topical sections as follows: microservices; uncertainty, self-adaptive, and open systems; model-based approaches; performance and security engineering; architectural smells and source code analysis; education and training; experiences and learnings from industrial case studies; and architecting contemporary distributed systems. In the Industrial Track, 11 submissions were received and 6 were accepted to form part of these proceedings. In addition the book contains 3 keynote talks. Due to the Corona pandemic ECSA 2020 was held as an virtual event.

Download or read book 14th International Conference on Computational Intelligence in Security for Information Systems and 12th International Conference on European Transnational Educational CISIS 2021 and ICEUTE 2021 written by Juan José Gude Prego and published by Springer Nature. This book was released on 2021-09-21 with total page 431 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book of Advances in Intelligent and Soft Computing contains accepted papers presented at CISIS 2021 and ICEUTE 2021, all conferences held in the beautiful and historic city of Bilbao (Spain), in September 2021. The aim of the 14th CISIS 20121 conference is to offer a meeting opportunity for academic and industry-related researchers belonging to the various, vast communities of computational intelligence, information security, and data mining. The need for intelligent, flexible behavior by large, complex systems, especially in mission-critical domains, is intended to be the catalyst and the aggregation stimulus for the overall event. After a through peer-review process, the CISIS 2021 International Program Committee selected 23 papers which are published in these conference proceedings achieving an acceptance rate of 40%. In this relevant edition, a special emphasis was put on the organization of special sessions. One special session is organized related to relevant topics as follows: building trust in ecosystems and ecosystem components. In the case of 12th ICEUTE 2021, the International Program Committee selected 17 papers, which are published in these conference proceedings. One special session is organized related to relevant topics as follows: sustainable personal goals: engaging students in their learning process. The selection of papers is extremely rigorous in order to maintain the high quality of the conference, and we would like to thank the members of the program committees for their hard work in the reviewing process. This is a crucial process to the creation of a high standard conference, and the CISIS and ICEUTE conferences would not exist without their help.

Download or read book Search Based Software Engineering written by Una-May O'Reilly and published by Springer Nature. This book was released on 2021-09-30 with total page 176 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021. The 9 full and 2 short papers included in this volume were carefully reviewed and selected from 19 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on engineering challenges and the application of automated approaches and optimization techniques from AI and machine learning research.

Download or read book Fundamental Approaches to Software Engineering written by Heike Wehrheim and published by Springer Nature. This book was released on 2020-04-20 with total page 552 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.

Download or read book Digital Transformation written by Birgit Vogel-Heuser and published by Springer Nature. This book was released on 2023-02-02 with total page 522 pages. Available in PDF, EPUB and Kindle. Book excerpt: Digital Transformation in Industry 4.0/5.0 requires the effective and efficient application of digitalization technologies in the area of production systems. This book elaborates on concepts, techniques, and technologies from computer science in the context of Industry 4.0/5.0 and demonstrates their possible applications. Thus, the book serves as an orientation but also as a reference work for experts in the field of Industry 4.0/5.0 to successfully advance digitization in their companies.

Download or read book Dependable Software Engineering Theories Tools and Applications written by Wei Dong and published by Springer Nature. This book was released on 2022-12-10 with total page 249 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022. The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Download or read book Artificial Intelligence Methods for Optimization of the Software Testing Process written by Sahar Tahvili and published by Academic Press. This book was released on 2022-07-21 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: Artificial Intelligence Methods for Optimization of the Software Testing Process: With Practical Examples and Exercises presents different AI-based solutions for overcoming the uncertainty found in many initial testing problems. The concept of intelligent decision making is presented as a multi-criteria, multi-objective undertaking. The book provides guidelines on how to manage diverse types of uncertainty with intelligent decision-making that can help subject matter experts in many industries improve various processes in a more efficient way. As the number of required test cases for testing a product can be large (in industry more than 10,000 test cases are usually created). Executing all these test cases without any particular order can impact the results of the test execution, hence this book fills the need for a comprehensive resource on the topics on the how's, what's and whys. To learn more about Elsevier's Series, Uncertainty, Computational Techniques and Decision Intelligence, please visit this link: https://www.elsevier.com/books-and-journals/book-series/uncertainty-computational-techniques-and-decision-intelligence - Presents one of the first empirical studies in the field, contrasting theoretical assumptions on innovations in a real industrial environment with a large set of use cases from developed and developing testing processes at various large industries - Explores specific comparative methodologies, focusing on developed and developing AI-based solutions - Serves as a guideline for conducting industrial research in the artificial intelligence and software testing domain - Explains all proposed solutions through real industrial case studies

Download or read book ECIAIR 2021 3rd European Conference on the Impact of Artificial Intelligence and Robotics written by Prof Florinda Matos and published by Academic Conferences and publishing limited. This book was released on 2021-11-18 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: