Download or read book 2019 IEEE ACM 11th International Workshop on Modelling in Software Engineering MiSE written by IEEE Staff and published by . This book was released on 2019-05-26 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Co located and co budgeted with ICSE 2019
Download or read book Systems Modelling and Management written by Önder Babur and published by Springer Nature. This book was released on 2020-10-16 with total page 197 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools.
Download or read book Advances in Conceptual Modeling written by Iris Reinhartz-Berger and published by Springer Nature. This book was released on 2021-10-11 with total page 148 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of three workshops symposia, held at the 40th International Conference on Conceptual Modeling, ER 2021, which were held virtually and in St. John’s, NL, Canada, in October 2021. The 11 papers promote and disseminate research on theories of concepts underlying conceptual modeling, methods and tools for developing and communicating conceptual models, techniques for transforming conceptual models into effective implementations, and the impact of conceptual modeling techniques on databases, business strategies and information systems. The following workshops are included in this volume: Second Workshop on Conceptual Modeling for NoSQL Data Stores (CoMoNoS); 4th International Workshop on Empirical Methods in Conceptual Modeling (EmpER); and Second International Workshop on Conceptual Modeling for Life Sciences (CMLS).
Download or read book Research Anthology on Agile Software Software Development and Testing written by Management Association, Information Resources and published by IGI Global. This book was released on 2021-11-26 with total page 2164 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software development continues to be an ever-evolving field as organizations require new and innovative programs that can be implemented to make processes more efficient, productive, and cost-effective. Agile practices particularly have shown great benefits for improving the effectiveness of software development and its maintenance due to their ability to adapt to change. It is integral to remain up to date with the most emerging tactics and techniques involved in the development of new and innovative software. The Research Anthology on Agile Software, Software Development, and Testing is a comprehensive resource on the emerging trends of software development and testing. This text discusses the newest developments in agile software and its usage spanning multiple industries. Featuring a collection of insights from diverse authors, this research anthology offers international perspectives on agile software. Covering topics such as global software engineering, knowledge management, and product development, this comprehensive resource is valuable to software developers, software engineers, computer engineers, IT directors, students, managers, faculty, researchers, and academicians.
Download or read book Handbook of Research on Engineering Innovations and Technology Management in Organizations written by Gaur, Loveleen and published by IGI Global. This book was released on 2020-04-17 with total page 459 pages. Available in PDF, EPUB and Kindle. Book excerpt: As technology weaves itself more tightly into everyday life, socio-economic development has become intricately tied to these ever-evolving innovations. Technology management is now an integral element of sound business practices, and this revolution has opened up many opportunities for global communication. However, such swift change warrants greater research that can foresee and possibly prevent future complications within and between organizations. The Handbook of Research on Engineering Innovations and Technology Management in Organizations is a collection of innovative research that explores global concerns in the applications of technology to business and the explosive growth that resulted. Highlighting a wide range of topics such as cyber security, legal practice, and artificial intelligence, this book is ideally designed for engineers, manufacturers, technology managers, technology developers, IT specialists, productivity consultants, executives, lawyers, programmers, managers, policymakers, academicians, researchers, and students.
Download or read book Leveraging Applications of Formal Methods Verification and Validation written by Tiziana Margaria and published by Springer Nature. This book was released on 2021-10-11 with total page 505 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.
Download or read book Heterogeneous Data Management Polystores and Analytics for Healthcare written by Vijay Gadepally and published by Springer Nature. This book was released on 2021-03-03 with total page 235 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes revised selected papers from two VLDB workshops: The International Workshop on Polystore Systems for Heterogeneous Data in Multiple Databases with Privacy and Security Assurances, Poly 2020, and the 6th International Workshop on Data Management and Analytics for Medicine and Healthcare, DMAH 2020, which were held virtually on August 31 and September 4, 2020. For Poly 2020, 4 full and 3 short papers were accepted from 10 submissions; and for DMAH 2020, 7 full and 2 short papers were accepted from a total of 15 submissions. The papers were organized in topical sections as follows: Privacy, Security and/or Policy Issues for Heterogenous Data; COVID-19 Data Analytics and Visualization; Deep Learning based Biomedical Data Analytics; NLP based Learning from Unstructured Data; Biomedical Data Modelling and Prediction.
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 Smart Computing Techniques and Applications written by Suresh Chandra Satapathy and published by Springer Nature. This book was released on 2021-07-07 with total page 852 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents best selected papers presented at the 4th International Conference on Smart Computing and Informatics (SCI 2020), held at the Department of Computer Science and Engineering, Vasavi College of Engineering (Autonomous), Hyderabad, Telangana, India. It presents advanced and multi-disciplinary research towards the design of smart computing and informatics. The theme is on a broader front which focuses on various innovation paradigms in system knowledge, intelligence and sustainability that may be applied to provide realistic solutions to varied problems in society, environment and industries. The scope is also extended towards the deployment of emerging computational and knowledge transfer approaches, optimizing solutions in various disciplines of science, technology and health care.
Download or read book Economics of Grids Clouds Systems and Services written by Konstantinos Tserpes and published by Springer Nature. This book was released on 2021-12-08 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 18th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2021, in September 2021. Due to COVID-19 pandemic the conference was held virtually hosted by the Libera Università Maria SS. Assunta (LUMSA), Rome, Italy. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 41 submissions. In addition, this book includes 8 work-in-progress papers and 2 extended abstracts. Chapters “AI Technologies and Motives for AI Adoption by Countries and Firms: A Systematic Literature Review”; “Knowledge Management Framework for Cloud Federation”; “Architecture for Orchestrating Containers in Cloud” and “Towards Software Compliance Specification and Enforcement using TOSCA” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Download or read book Social Cultural and Behavioral Modeling written by Robert Thomson and published by Springer Nature. This book was released on 2020-10-10 with total page 365 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 13th International Conference on Social, Cultural, and Behavioral Modeling, SBP-BRiMS 2020, which was planned to take place in Washington, DC, USA. Due to the COVID-19 pandemic the conference was held online during October 18–21, 2020. The 33 full papers presented in this volume were carefully reviewed and selected from 66 submissions. A wide number of disciplines are represented including computer science, psychology, sociology, communication science, public health, bioinformatics, political science, and organizational science. Numerous types of computational methods are used, such as machine learning, language technology, social network analysis and visualization, agent-based simulation, and statistics.
Download or read book Proceedings of the 4th International Conference on Electrical Engineering and Control Applications written by Sofiane Bououden and published by Springer Nature. This book was released on 2020-09-29 with total page 1257 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers papers presented during the 4th International Conference on Electrical Engineering and Control Applications. It covers new control system models, troubleshooting tips and complex system requirements, such as increased speed, precision and remote capabilities. Additionally, the papers discuss not only the engineering aspects of signal processing and various practical issues in the broad field of information transmission, but also novel technologies for communication networks and modern antenna design. This book is intended for researchers, engineers and advanced postgraduate students in the fields of control and electrical engineering, computer science and signal processing, as well as mechanical and chemical engineering.
Download or read book Proceedings of International Conference on Artificial Intelligence Smart Grid and Smart City Applications written by L. Ashok Kumar and published by Springer Nature. This book was released on 2020-03-12 with total page 943 pages. Available in PDF, EPUB and Kindle. Book excerpt: Due to the complexity, and heterogeneity of the smart grid and the high volume of information to be processed, artificial intelligence techniques and computational intelligence appear to be some of the enabling technologies for its future development and success. The theme of the book is “Making pathway for the grid of future” with the emphasis on trends in Smart Grid, renewable interconnection issues, planning-operation-control and reliability of grid, real time monitoring and protection, market, distributed generation and power distribution issues, power electronics applications, computer-IT and signal processing applications, power apparatus, power engineering education and industry-institute collaboration. The primary objective of the book is to review the current state of the art of the most relevant artificial intelligence techniques applied to the different issues that arise in the smart grid development.
Download or read book Software Engineering for Robotics written by Ana Cavalcanti and published by Springer Nature. This book was released on 2021-07-05 with total page 483 pages. Available in PDF, EPUB and Kindle. Book excerpt: The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. The intended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work. Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Download or read book High Performance Modelling and Simulation for Big Data Applications written by Joanna Kołodziej and published by Springer. This book was released on 2019-03-25 with total page 364 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book was prepared as a Final Publication of the COST Action IC1406 “High-Performance Modelling and Simulation for Big Data Applications (cHiPSet)“ project. Long considered important pillars of the scientific method, Modelling and Simulation have evolved from traditional discrete numerical methods to complex data-intensive continuous analytical optimisations. Resolution, scale, and accuracy have become essential to predict and analyse natural and complex systems in science and engineering. When their level of abstraction raises to have a better discernment of the domain at hand, their representation gets increasingly demanding for computational and data resources. On the other hand, High Performance Computing typically entails the effective use of parallel and distributed processing units coupled with efficient storage, communication and visualisation systems to underpin complex data-intensive applications in distinct scientific and technical domains. It is then arguably required to have a seamless interaction of High Performance Computing with Modelling and Simulation in order to store, compute, analyse, and visualise large data sets in science and engineering. Funded by the European Commission, cHiPSet has provided a dynamic trans-European forum for their members and distinguished guests to openly discuss novel perspectives and topics of interests for these two communities. This cHiPSet compendium presents a set of selected case studies related to healthcare, biological data, computational advertising, multimedia, finance, bioinformatics, and telecommunications.
Download or read book Proceedings of International Conference on Intelligent Computing Information and Control Systems written by A. Pasumpon Pandian and published by Springer Nature. This book was released on 2021-01-24 with total page 972 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is a collection of papers presented at the International Conference on Intelligent Computing, Information and Control Systems (ICICCS 2020). It encompasses various research works that help to develop and advance the next-generation intelligent computing and control systems. The book integrates the computational intelligence and intelligent control systems to provide a powerful methodology for a wide range of data analytics issues in industries and societal applications. The book also presents the new algorithms and methodologies for promoting advances in common intelligent computing and control methodologies including evolutionary computation, artificial life, virtual infrastructures, fuzzy logic, artificial immune systems, neural networks and various neuro-hybrid methodologies. This book is pragmatic for researchers, academicians and students dealing with mathematically intransigent problems.
Download or read book Model Checking written by Edmund M. Clarke and published by MIT Press. This book was released on 1999 with total page 346 pages. Available in PDF, EPUB and Kindle. Book excerpt: This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.
