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.
This book constitutes the refereed proceedings of the 22nd International Conference on Computational Methods in Systems Biology, CMSB 2024, which took place in Pisa, Italy, during September 16-18, 2024.
This book constitutes revised selected papers from the scientific satellite events held in conjunction with the 21st International Conference on Service-Oriented Computing, ICSOC 2023.
This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021.
This book constitutes the refereed post proceedings of the 5th China Conference on Spatial Data and Intelligence, SpatialDI 2024, held in Nanjing, China, during April 25-27, 2024.
This book constitutes the refereed proceedings of the 18th International Conference on Information Security Practice and Experience, ISPEC 2023, held in Copenhagen, Denmark, in August 2023.
New global standards are the basis for new MES products that have appeared in the last five years in the marketplaceFeatures a comprehensive presentation of available MES technologies
This book constitutes the proceedings of the 13th International Conference on Sensor Systems and Software, S-Cube 2022, which was held in Dalian, China, in December 7-9, 2022.
This volume chronicles the 16th Annual Conference on System Engineering Research (CSER) held on May 8-9, 2018 at the University of Virginia, Charlottesville, Virginia, USA.
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020.
The two-volume set LNICST 460 and 461 constitutes the proceedings of the 18th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2022, held in Hangzhou, China, in October 2022.
This book constitutes the refereed proceedings of the 23rd International Conference on Innovations for Community Services, I4CS 2023, held in Bamberg, Germany, in September 2023.
The four-volume set LNCS 15364-15367 constitutes the refereed proceedings of the 22nd International Conference on Theory of Cryptography, TCC 2024, held in Milan, Italy, in December 2024.
This book constitutes the refereed proceedings of the Fourth International Symposium on Cyber Security Cryptography and Machine Learning, CSCML 2020, held in Be'er Sheva, Israel, in July 2020.
This book constitutes the refereed post-proceedings of the 15th International Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2022, held as a Virtual Event, during February 9-11, 2022.
Foster a Culture of Innovation inside Your OrganizationIntroducing a new approach that blends the practical applications of engineering with innovative concepts and techniques, Infusing Innovation into Organizations: A Systems Engineering Approach illustrates how a company's culture influences innovation results and demonstrates how organizations c
Motivation It is now possible to build powerful single-processor and multiprocessor systems and use them efficiently for data processing, which has seen an explosive ex- pansion in many areas of computer science and engineering.
This book constitutes the refereed proceedings of the 15th International Conference on Software Architecture, ECSA 2021, held in Sweden, in September 2021.
The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com- puter Systems (FM89} was an invitational workshop that brought together repre- sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States.
This 15-volume set LNCS 15031-15045 constitutes the refereed proceedings of the 7th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2024, held in Urumqi, China, during October 18-20, 2024.
This book LNICST 622 constitutes the refereed proceedings of the Second EAI International Conference on Security and Privacy in Cyber-Physical Systems and Smart Vehicles, SmartSP 2024, held in New Orleans, LA, USA, during November 7–8, 2024.
Information modeling technology--the open representation of information for database and other computing applications--has grown significantly in recent years as the need for universal systems of information coding has steadily increased.
The two-volume set CCIS 2061 and 2062 constitutes the refereed post-conference proceedings of the 18th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2023, held in Changsha, China, during December 15-17, 2023.
This book LNICST 622 constitutes the refereed proceedings of the Second EAI International Conference on Security and Privacy in Cyber-Physical Systems and Smart Vehicles, SmartSP 2024, held in New Orleans, LA, USA, during November 7–8, 2024.
This new edition textbook continues down the path that the first edition, winner of the 2013 IISE/Joint Publishers Book-of-the-Year Award, successfully carved out.
This book delves into visual object tracking (VOT), a fundamental aspect of computer vision crucial for replicating human dynamic vision, with applications ranging from self-driving vehicles to surveillance systems.
his two-volume set LNCS 12689-12690 constitutes the refereed proceedings of the 12th International Conference on Advances in Swarm Intelligence, ICSI 2021, held in Qingdao, China, in July 2021.
This book includes extended and revised versions of a set of selected papers from the 17th International Conference on Software Technologies, ICSOFT 2022, held in Lisbon, Portugal, during July 11-13, 2022.
Current hype aside, the Internet of Things will ultimately become as fundamental as the Internet itself, with lots of opportunities and trials along the way.
This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017.
This two-volume set CCIS 2372-2373 constitutes the proceedings of the 5th International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2024, held in Porto, Portugal, during November 21-22, 2024.
"e;Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems"e; provides a comprehensive coverage of reliability issues and their corresponding countermeasures in the field of large-scale digital control systems, from the hardware and software in digital systems to the human operators who supervise the overall process of large-scale systems.
The book is the extended and revised version of the 1st edition and is composed of two main parts: mathematical background and queueing systems with applications.
This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisbon, Portugal, UK, in July 2019.
