Download or read book Engineering of Complex Computer Systems written by Guangdong Bai and published by Springer Nature. This book was released on with total page 427 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Proceedings of Fourth Doctoral Symposium on Computational Intelligence written by Abhishek Swaroop and published by Springer Nature. This book was released on 2023-09-16 with total page 937 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book features high-quality research papers presented at Fourth Doctoral Symposium on Computational Intelligence (DoSCI 2023), organized by Institute of Engineering and Technology (IET), AKTU, Lucknow, India, on March 3, 2023. This book discusses the topics such as computational intelligence, artificial intelligence, deep learning, evolutionary algorithms, swarm intelligence, fuzzy sets and vague sets, rough set theoretic approaches, quantum-inspired computational intelligence, hybrid computational intelligence, machine learning, computer vision, soft computing, distributed computing, parallel and grid computing, cloud computing, high-performance computing, biomedical computing, and decision support and decision making
Download or read book Leveraging Applications of Formal Methods Verification and Validation Verification Principles written by Tiziana Margaria and published by Springer Nature. This book was released on 2022-10-19 with total page 608 pages. Available in PDF, EPUB and Kindle. Book excerpt: This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.
Download or read book Formal Methods written by Andre Platzer and published by Springer Nature. This book was released on with total page 669 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Formal Methods and Software Engineering written by Yi Li and published by Springer Nature. This book was released on 2023-11-09 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023. The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.
Download or read book Static Analysis written by Gagandeep Singh and published by Springer Nature. This book was released on 2022-12-01 with total page 482 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022. The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.
Download or read book Impact of Digital Twins in Smart Cities Development written by Vasiliu-Feltes, Ingrid and published by IGI Global. This book was released on 2023-02-20 with total page 337 pages. Available in PDF, EPUB and Kindle. Book excerpt: Recently, a new digital twin consortium has been established that aims to deploy digital twin technology in new markets as well as in the development of smart cities. Designing smart cities, smart communities, and smart ecosystems powered by optimal digital twin deployments is a vision that currently only futurists can entertain and requires some time to reach large-scale adoption. However, it is incumbent upon us as a society to educate and train future generations on how to leverage digital twin technologies in order to optimize our daily lives as well as increase our efficiency, productivity, and safety. Impact of Digital Twins in Smart Cities Development provides insights regarding the global landscape for current digital twin research and deployments and highlights some of the challenges and opportunities faced during large-scale adoptions. Critical domains such as ethics, data governance, cybersecurity, inclusion, diversity, and sustainability are also addressed and considered. Covering topics such as digital identity and digital economics, this reference work is ideal for urban planners, engineers, policymakers, industry leaders, scientists, economists, academicians, practitioners, researchers, instructors, and students.
Download or read book Formal Methods written by Marsha Chechik and published by Springer Nature. This book was released on 2023-03-02 with total page 661 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
Download or read book SPS2022 written by A.H.C. Ng and published by IOS Press. This book was released on 2022-05-17 with total page 874 pages. Available in PDF, EPUB and Kindle. Book excerpt: The realization of a successful product requires collaboration between developers and producers, taking account of stakeholder value, reinforcing the contribution of industry to society and enhancing the wellbeing of workers while respecting planetary boundaries. Founded in 2006, the Swedish Production Academy (SPA) aims to drive and develop production research and education and to increase cooperation within the production area. This book presents the proceedings of the 10th Swedish Production Symposium (SPS2022), held in Skövde, Sweden, from 26-29 April 2022. The overall theme of the symposium was ‘Industry 5.0 Transformation – Towards a Sustainable, Human-Centric, and Resilient Production’. Since its inception in 2007, the purpose of SPS has been to facilitate an event at which members and interested participants from industry and academia can meet to exchange ideas. The 69 papers accepted for presentation here are grouped into ten sections: resource-efficient production; flexible production; humans in the production system; circular production systems and maintenance; integrated product and production development; industrial optimization and decision-making; cyber-physical production systems and digital twins; innovative production processes and additive manufacturing; smart and resilient supply chains; and linking research and education. Also included are three sections covering the Special Sessions at SPS2022: artificial intelligence and industrial analytics in industry 4.0; development of resilient and sustainable production systems; and boundary crossing and boundary objects in product and production development. The book will be of interest to all those involved in the development and production of future products.
Download or read book Software Engineering and Formal Methods SEFM 2022 Collocated Workshops written by Paolo Masci and published by Springer Nature. This book was released on 2023-02-10 with total page 424 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.
Download or read book Complex Intelligent and Software Intensive Systems written by Leonard Barolli and published by Springer Nature. This book was released on 2023-06-18 with total page 432 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book aims to deliver a platform of scientific interaction between the three interwoven challenging areas of research and development of future ICT-enabled applications: software intensive systems, complex systems and intelligent systems. Software intensive systems are systems, which heavily interact with other systems, sensors, actuators, devices, other software systems and users. More and more domains are involved with software intensive systems, e.g., automotive, telecommunication systems, embedded systems in general, industrial automation systems and business applications. Moreover, the outcome of web services delivers a new platform for enabling software intensive systems. Complex systems research is focused on the overall understanding of systems rather than its components. Complex systems are very much characterized by the changing environments in which they act by their multiple internal and external interactions. They evolve and adapt through internal and external dynamic interactions. The development of intelligent systems and agents, which is each time more characterized by the use of ontologies and their logical foundations, builds a fruitful impulse for both software intensive systems and complex systems. Recent research in the field of intelligent systems, robotics, neuroscience, artificial intelligence and cognitive sciences are very important factor for the future development and innovation of software intensive and complex systems.
Download or read book Web Information Systems and Applications written by Xiang Zhao and published by Springer Nature. This book was released on 2022-12-07 with total page 749 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 19th International Conference on Web Information Systems and Applications, WISA 2022, held in Dalian, China, in September 2022. The 45 full papers and 19 short papers presented were carefully reviewed and selected from 212 submissions. The papers are grouped in topical sections on knowledge graph, natural language processing, world wide web, machine learning, query processing and algorithm, recommendation, data privacy and security, and blockchain.
Download or read book Leveraging Applications of Formal Methods Verification and Validation Practice written by Tiziana Margaria and published by Springer Nature. This book was released on 2022-10-19 with total page 431 pages. Available in PDF, EPUB and Kindle. Book excerpt: This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.
Download or read book Rigorous State Based Methods written by Uwe Glässer and published by Springer Nature. This book was released on 2023-05-14 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
Download or read book Software Engineering and Formal Methods written by Bernd-Holger Schlingloff and published by Springer Nature. This book was released on 2022-09-21 with total page 373 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.
Download or read book Theoretical Aspects of Software Engineering written by Yamine Aït-Ameur and published by Springer Nature. This book was released on 2022-07-01 with total page 441 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.
Download or read book Applications of Block Chain technology and Artificial Intelligence written by Mohammad Irfan and published by Springer Nature. This book was released on with total page 304 pages. Available in PDF, EPUB and Kindle. Book excerpt:
