Download or read book 2020 25th International Conference on Engineering of Complex Computer Systems ICECCS written by IEEE Staff and published by . This book was released on 2020-10-28 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Computer science, Computer security, Software, Software engineering, Real time systems, Distributed computing, Real time systems

Download or read book 2020 25th International Conference on Engineering of Complex Computer Systems written by Yi Li and published by . This book was released on 2019 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book 2020 25th International Conference on Engineering of Complex Computer Systems written by Alan Wee-Chung Liew and published by . This book was released on 2021 with total page 226 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book 2019 24th International Conference on Engineering of Complex Computer Systems written by and published by . This book was released on 2019 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book 2019 24th International Conference on Engineering of Complex Computer Systems ICECCS written by IEEE Staff and published by . This book was released on 2019-11-10 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Over the past years, there have been a rapid rising emphasis on design, implement and manage complex computer systems which are present in every aspect of human activities, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care The complex computer systems are frequently distributed over heterogeneous networks and processing large amount data Complexity arises from many factors, including the dynamic environments and scenarios these systems operate in demanding and sometimes conflicting requirements in functionality, efficiency, scalability, security, dependability and adaptability as well as the large variation in development methodology, programming languages and implementation details The key issues in these systems include performance, real time behavior, fault tolerance, security, adaptability, development time and cost, and long life concerns

Download or read book 2022 26th International Conference on Engineering of Complex Computer Systems written by Yuting Chen and published by . This book was released on 2022 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Proceedings 2022 26th International Conference on Engineering of Complex Computer Systems written by and published by . This book was released on 2022 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Computational Science and Its Applications ICCSA 2020 written by Osvaldo Gervasi and published by Springer Nature. This book was released on 2020-09-28 with total page 1085 pages. Available in PDF, EPUB and Kindle. Book excerpt: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020. Due to COVID-19 pandemic the conference was organized in an online event. Computational Science is the main pillar of most of the present research, industrial and commercial applications, and plays a unique role in exploiting ICT innovative technologies. The 466 full papers and 32 short papers presented were carefully reviewed and selected from 1450 submissions. Apart from the general track, ICCSA 2020 also include 52 workshops, in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as software engineering, security, machine learning and artificial intelligence, blockchain technologies, and of applications in many fields.

Download or read book New Perspectives in Software Engineering written by Jezreel Mejia and published by Springer Nature. This book was released on 2022-10-29 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains the proceedings of the CIMPS Conference held on October 19-21, 2022, Hipócrates University, Acapulco de Juárez, Guerrero, México, that is dedicated to Software Engineering, in particular, software processes improvement, computer security and communication technology, artificial intelligence and data analysis (big data) with a focus on innovation and/or entrepreneurship, bringing together the academic sectors, governmental and industrial that promote the comprehensive development of a culture of research, innovation and competitiveness of organizations dedicated to and/or that make use of Information and Communication Telecommunications. This book presents software engineering with impact in a combination of different fields: Organizational Models, Standards and Methodologies, Knowledge Management, Software Systems, Applications and Tools, Information and Communication Technologies, Information security, Artificial intelligence, Data Analysis. It is used in different domains in which a broad scope of audience is interested in: • Software engineers • Analyst • Project management • Consultant • Professors in academia • Students • Corporate heads of firms • Senior general managers • Managing directors • Board directors • Academics and researchers in the field both in universities and business schools • Information technology directors and managers • Quality managers and directors • Libraries and information centres serving the needs of the above This book contents are also useful for Ph.D. students, master’s and undergraduate students of IT-related degrees such as Computer Science, Information Systems.

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 Software Engineering Perspectives in Computer Game Development written by Kendra M. L. Cooper and published by CRC Press. This book was released on 2021-07-05 with total page 312 pages. Available in PDF, EPUB and Kindle. Book excerpt: Featuring contributions from leading experts in software engineering, this edited book provides a comprehensive introduction to computer game software development. It is a complex, interdisciplinary field that relies on contributions from a wide variety of disciplines including arts and humanities, behavioural sciences, business, engineering, physical sciences, mathematics, etc. The book focuses on the emerging research at the intersection of game and software engineering communities. A brief history of game development is presented, which considers the shift from the development of rare games in isolated research environments in the 1950s to their ubiquitous presence in popular culture today. A summary is provided of the latest peer-reviewed research results in computer game development that have been reported at multiple levels of maturity (workshops, conferences, and journals). The core chapters of the book are devoted to sharing emerging research at the intersection of game development and software engineering. In addition, future research opportunities on new software engineering methods for games and serious educational games for software engineering education are highlighted. As an ideal reference for software engineers, developers, educators, and researchers, this book explores game development topics from software engineering and education perspectives. Key Features: Includes contributions from leading academic experts in the community Presents a current collection of emerging research at the intersection of games and software engineering Considers the interdisciplinary field from two broad perspectives: software engineering methods for game development and serious games for software engineering education Provides a snapshot of the recent literature (i.e., 2015-2020) on game development from software engineering perspectives

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 Modelling Analysis and Simulation of Computer and Telecommunication Systems written by Maria Carla Calzarossa and published by Springer Nature. This book was released on 2021-01-28 with total page 279 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the post proceedings of the 28th International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2020, held online -due to COVID -19- in Nice, France, in November 2020. The 17 full papers presented were carefully reviewed and selected from 124 submissions. The symposium collected the most relevant papers describing state-of-the-art research in the areas of the performance evaluation of computer systems and networks as well as in related areas.

Download or read book Applicable Formal Methods for Safe Industrial Products written by Anne E. Haxthausen and published by Springer Nature. This book was released on 2023-09-17 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems. Since 1994 he has worked as a consultant to industry, specializing in development methods, verification, validation and test of safety-critical systems, and since 1995 he has been a Professor of Computer Science at the University of Bremen. In his research he has been most interested in the combination and application of existing methods and corresponding tools to real-world problems, particularly in the field of safety-critical embedded systems and distributed systems, including avionics and railway control systems. The papers in this volume reflect those interests, and the impact he has had on colleagues and collaborators. The volume is structured into sections on testing; railway verification and safety & security; intelligent systems and cyber-physical systems; and tools and techniques for specification, verification and code generation.

Download or read book Programming Languages and Systems written by Peter Müller and published by Springer Nature. This book was released on 2020-04-17 with total page 772 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Download or read book Blockchain and Robotic Process Automation written by Agnes Koschmider and published by Springer Nature. This book was released on 2022-01-01 with total page 90 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book integrates the material of the lecture series “Blockchain and Robotic Process Automation”, offered at Kiel University. The lecture series sheds light on current research topics on blockchain and robotic process automation (RPA) also in combination with business process management (BPM) or process mining. In this series, leading scientists and business experts give insights into the use of the blockchain technology and RPA. The seven contributions included offer a general introduction into blockchain and smart contracts, and detail the extraction of meaningful events for process mining from blockchain, challenges of blockchain-based collaborative business processes, executing Decision Model and Notation decisions on the blockchain, a blockchain-based solution for digital payment, blockchain use cases in transportation and logistics, and automatically identifying process automation candidates using natural language processing. Overall, the book provides researchers and graduate students with a basic introduction into blockchain, its applications, useful combinations of BPM and blockchain, and use cases for RPA.

Download or read book Model Driven Engineering and Software Development written by Slimane Hammoudi and published by Springer Nature. This book was released on 2021-02-01 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes thoroughly revised and selected papers from the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, held in Valletta, Malta, in February 2020. The 15 revised and extended papers presented in this volume were carefully reviewed and selected from 66 submissions. They present recent research results and development activities in using models and model driven engineering techniques for software development. The papers are organized in topical sections on​ methodologies, processes and platforms; applications and software development; modeling languages, tools and architectures.