Search

This book contains visionary and best papers from the workshops held at the International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, held in London, UK, during May 29–June 2, 2023.The 12 regular papers, 5 best papers and 7 visionary papers, presented were carefully reviewed and selected from a total of more than 110 contributions to the workshops. They focus on emerging topics and new trends in the area of autonomous agents and multiagent systems and stem from the following workshops:- Workshop on Autonomous Robots and Multirobot Systems (ARMS)- Workshop on Adaptive and Learning Agents (ALA)- Workshop on Interdisciplinary Design of Emotion Sensitive Agents (IDEA)- Workshop on Rebellion and Disobedience in Artificial Intelligence (RaD-AI)- Workshop on Neuro-symbolic AI for Agent and Multi-Agent Systems (NeSyMAS)- Workshop on Multiagent Sequential Decision Making under Uncertainty (MSDM)- Workshop on Citizen-Centric Multi-Agent Systems (C-MAS)

This book constitutes thoroughly refereed and revised selected best and visionary papers from the Workshops held at the International Conference on Autonomous Agents and Multiagent Systems AAMAS 2022, which took place online, during May 9–13, 2022.The 5 best papers and 4 visionary papers included in this book stem from the following workshops: - 13th Workshop on Optimization and Learning in Multi-agent Systems (OptLearnMAS);- 23rd Workshop on Multi-Agent Based Simulation (MABS);- 6th Workshop on Agent-Based Modelling of Urban Systems (ABMUS);- 10th Workshop on Engineering Multi-Agent Systems (EMAS);- 1st Workshop on Rebellion and Disobedience in AI (RaD-AI).There was a total of 59 submissions to these workshops.

This proceedings LNCS 13516 constitutes the refereed proceedings of the 24th International Conference on Human-Computer Interaction, HCII 2022, which was held virtually as part of the 24th International Conference, HCII 2022, during June 26 to July 1, 2022. HCII 2022 received a total of 5583 submissions from academia, research institutes, industry, and governmental agencies from 88 countries submitted contributions, and 1276 papers and 275 posters were included in the proceedings that were published just before the start of the conference. Additionally, 296 papers and 181 posters are included in the volumes of the proceedings published after the conference, as “Late Breaking Work” (papers and posters). The contributions thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas.

This book constitutes late breaking papers from the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held in July 2021. The conference was planned to take place in Washington DC, USA but had to change to a virtual conference mode due to the COVID-19 pandemic. A total of 5222 individuals from academia, research institutes, industry, and governmental agencies from 81 countries submitted contributions, and 1276 papers and 241 posters were included in the volumes of the proceedings that were published before the start of the conference. Additionally, 174 papers and 146 posters are included in the volumes of the proceedings published after the conference, as “Late Breaking Work” (papers and posters). The contributions thoroughly cover the entire field of HCI, addressing major advances in knowledge and effective use of computers in a variety of application areas.

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013. The 18 full papers presented were carefully reviewed and selected from 46 submissions. The papers reflect a growing effort to increase the dissemination of new results among researchers and professionals related to evaluation of novel approaches to software engineering. By comparing novel approaches with established traditional practices and by evaluating them against software quality criteria, the ENASE conferences advance knowledge and research in software engineering, identify most hopeful trends, and propose new directions for consideration by researchers and practitioners involved in large-scale software development and integration.

This volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.The 11 short papers presented were selected from the total of 65 submissions. This volume also contains the 4 accepted papers from the DETECT 2022 workshop, held at MEDI 2022. The volume focuses on advances in data management and modelling, including topics such as data models, data processing, database theory, database systems technology, and advanced database applications.

This book constitutes the thoroughly refereed post-conference proceedings of the workshops held at the 11th International Conference on Web Engineering, ICWE 2011, in Paphos, Cyprus, in June 2011. The 42 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in sections on the Third International Workshop on Lightweight Composition on the Web (ComposableWeb 2011); First International Workshop on Search, Exploration and Navigation of Web Data Sources (ExploreWeb 2011); Second International Workshop on Enterprise Crowdsourcing (EC 2011); Seventh Model-Driven Web Engineering Workshop (MDWE 2011); Second International Workshop on Quality in Web Engineering (QWE 2011); Second Workshop on the Web and Requirements Engineering (WeRE 2011); as well as the Doctoral Symposium2011, and the ICWE 2011 Tutorials.

This book contains a collection of thoroughly refereed papers presented at the 5th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2010, held in Athens, Greece, in July 2010. The 19 revised and extended full papers were carefully selected from 70 submissions. They cover a wide range of topics, such as quality and metrics; service and Web engineering; process engineering; patterns, reuse and open source; process improvement; aspect-oriented engineering; and requirements engineering.

This book constitutes the refereed post-conference proceedings from the 15th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2023, held in Vancouver, British Columbia, Canada, during August 28 – September 1, 2023. The 9 full papers included in this book were carefully reviewed and selected from 17 submissions. These papers focus on various novel ideas and methodologies for Performance evaluation and Benchmarking in emerging technology areas.

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6–7, 2024. The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.

This book constitutes the proceedings of the 7th International Symposium, SDLT 2023, held in Brisbane, QLD, Australia, during November 30 – December 1, 2023.The 8 full papers and the short paper included in this volume were carefully reviewed and selected from 32 submissions. The volume focuses on current systems and new solutions to create a scientific background for a solid development of innovative Distributed Ledger Technology application.

This book constitutes the refereed post-proceedings of the 11th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2023, which took place in Lisbon, Portugal during February 19-21, 2023. The 8 full papers included in this book were carefully reviewed and selected from 41 submissions. The papers are categorized under the topical sections as follows: Applications and System Development and Modeling Languages, Tools and Architectures.

This book constitutes thoroughly refereed and revised selected papers from the 12th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2023, held in Havana, Cuba, during October 16–17, 2023. The 9 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: ​technologies, services and content creation for interactive digital TV; health and socialization through interactive TV; user interfaces, interaction and accessibility.

This volume constitutes short papers and DEITS 2023 workshop papers, presented during the 12th International Conference on Model and Data Engineering, MEDI 2023, held in Sousse, Tunisia, in November 2023.The 12 short papers presented were selected from the total of 99 submissions. This volume also contains the 7 accepted papers from the DEITS 2023 workshop, held at MEDI 2023. The volume focuses on machine learning and optimization; natural language processing; modeling and data management; healthcare applications; data engineering in IoT systems.

This book constitutes revised selected papers from the 12th and 13th International Conference on Cloud Computing and Services Science, CLOSER 2022 and CLOSER 2023, which took place as a virtual event in April 2022 and in Prague, Czech Republic, in April 2023. CLOSER 2022 received a total of 45 submissions out of which 3 papers are included in this book. From 46 submissions received for CLOSER 2023, 7 papers have been selected for inclusion in this book. They focus on latest advances and various aspects of cloud computing and the link to services science.

This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6–10, 2023 The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions. SEFM 2023 Collocated Workshops presents the following two workshops: 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023) 11th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023)

This two-volume set CCIS 1981 and 1982 constitutes the refereed post-conference proceedings of the Third International Conference on Optimization, Learning Algorithms and Applications, OL2A 2023, held in Ponta Delgada, Portugal, in September 2023.The 66 revised full papers presented in these proceedings were carefully reviewed and selected from 162 submissions. The papers are organized in the following topical sections:Volume I:Machine learning; learning algorithms in engineering education; machine learning and data analysis in internet of things; optimization; optimization in the SDG context.Volume II:Computer vision based on learning algorithms; machine learning and AI in robotics; optimization in control systems design.

This book constitutes the revised selected papers of the 6th Ibero-American Congress on Smart Cities, ICSC-Cities 2023, held in Mexico City and Cuernavaca, Mexico, during November 13–17, 2023. The 19 full papers included in this book were carefully reviewed and selected from 94 submissions. They were organized in topical sections as follows: Urban Informatics for Smart Cities; Optimization, Smart Industry, and Smart Public Services; Internet of Things; Computational Intelligence and Urban Informatics for Smart Cities and Innovative Informatic Approaches for Smart Cities.

This book constitutes revised selected papers from the 4th International Workshop on Distributed Computing for Emerging Smart Networks, DiCES-N 2023, which took place in Bizerte, Tunisia, on May 27, 2023.The 6 full papers included in this book were carefully reviewed and selected from 13 submissions. The book also contains one invited talk. The contributions focus on vehicular networks and emerging technologies and cyber safety and security of intelligent transportation systems.

This book constitutes of the revised selected papers presented at the CCF 17th International Conference on Service Science, ICSS 2024, held in Hong Kong, China, in May 11–12, 2024. The 12 full papers and 2 short papers presented here were carefully reviewed and selected from 21 submissions. These papers have been categorized into the following sections: Cloud service and Edge service; Knowledge-inspired service; Trustworthy services & Service application.

This book constitutes the revised selected papers of the 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5–7, 2023The 29 full papers included in this volume were carefully reviewed and selected from 52 submissions. The papers focus on the following topics: Design Issues & BlockChain, Query Processing and Visualization, Learning Issues, Services and Systems, Business and Communication Technologies, Digital Twin and Security, Architecture Technologies, Time and Text Management.

The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.The 44 full papers and 1 short paper presented in these proceedings were carefully reviewed and selected from 104 submissions. The papers have been organized in the following topical sections: supercomputer simulation; distributed computing; and HPC, BigData, AI: algorithms, technologies, evaluation.

This book constitutes the revised selected papers of the 13th International Conference on HPCST 2023, held in Barnaul, Russia, during May 19–20, 2023.The 21 full papers included in this book were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections as follows: Hardware for High-Performance Computing and Signal Processing; Information Technologies and Computer Simulation of Physical Phenomena; Computing Technologies in Data Analysis and Decision Making; Information and Computing Technologies in Automation and Control Science; Computing Technologies in Information Security Applications.

This book constitutes the refereed proceedings of the 18th International Conference on Critical Information Infrastructures Security, CRITIS 2023, held in Helsinki region, Finland, during September 13–15 2023. The 13 full papers and 3 short papers and one Paper in Progress were carefully selected from 25 submissions. The conference addressed four scientific focus areas, namely information, infrastructures, security and hybrid threats in an interdisciplinary manner and specifically in the context-based analyses and complex optimization methods.

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

This volume constitutes the papers of several workshops which were held in conjunction with the International Conference on Web Engineering, ICWE 2023, held in Alicante, Spain, in June 6–9, 2023.The 10 revised full papers and 2 short papers presented in this book were carefully reviewed and selected from 23 submissions. They stem from the following workshops:Third International Workshop on Big Data Driven Edge Cloud Services (BECS 2023) Second International Workshop on the Semantic Web of Everything (SWEET 2023) Second International Workshop on Web Applications for Life Sciences (WALS2023)

This book constitutes the revised selected papers of the First International Conference, ICSD 2023, virtually held in Delhi, India, during July 15–16, 2023.The book comprises 31 full papers that were selected from a total of 129 submissions. It provides insights into the latest research and advancements in sustainable development through the integration of machine learning, artificial intelligence, and IoT technologies. It serves as a valuable resource for researchers, practitioners, and policymakers working in the field of sustainable development.

This book constitutes the refereed proceedings of the Second International Conference on Electronic Governance with Emerging Technologies, EGETC 2023, held in Poznan, Poland, during September 11–12, 2023.The 15 full papers and one short paper presented were thoroughly reviewed and selected from the 76 submissions. This volume focuses on the recent developments in the domain of eGovernment and governance of digital organizations also aims to shed light on the emerging research trends and their applications.

This volume includes extended and revised versions of a set of selected papers from the First International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2020, held as virtual event in November 4-6, 2020 and Second International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2021, held as virtual event in October 25-27, 2021.The 9 full papers included in this book were carefully reviewed and selected from 44 submissions. They were organized in topical sections as follows: ​on kernel search based gaussian process anomaly detection; general architecture framework and general modelling framework.

This book constitutes refereed proceedings of the Third International Conference on Computer and Communication Engineering, CCCE 2023, held in Stockholm, Sweden, in March 2023.The 18 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: image analysis and method; network model and function analysis of mobile network; system security estimation and analysis of data network; and AI-based system model and algorithm.

This book constitutes the refereed proceedings of the 12th International Development Informatics Association Conference, IDIA 2022, held in Mbombela, South Africa, in November 2022. The 20 revised full papers presented in this volume were carefully reviewed and selected from 61 submissions. The papers are organized in topical sections on​ theories and practices in digital-for-development ecosystems; emerging technologies for transformation, inclusion and sustainable development; privacy and security in digital-for-development ecosystems; human-computer interaction (HCI) for digital inclusion; artificial intelligence (AI) for good.

This volume constitutes the papers of several workshops which were held in conjunction with the ICWE 2022 International Workshops, BECS, SWEET and WALS, held in Bari, Italy, July 5–8, 2022.The 14 revised full papers and 1 short paper presented in this book were carefully reviewed and selected from 25 submissions. ICWE 2022 presents the following three workshops:Second International Workshop on Big Data driven Edge Cloud Services (BECS 2022)First International Workshop on the Semantic WEb of Everything (SWEET 2022)First International Workshop on Web Applications for Life Sciences (WALS 2022)

This volume contains the technical papers presented in the workshops, which took place at the 9th European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022.The 4 full papers and 7 short papers included in these proceedings were carefully reviewed and selected from 17 submissions. The workshop proceedings volume of ESOCC 2022 contains contributions from the following workshops and events:First International Workshop on AI for Web Application Infrastructure and Cloud Platform Security (AWACS 2022)PhD Symposium of ESOCC 2022ESOCC 2022 Projects TrackESOCC 2022 Industrial Track

This book constitutes invited papers from the Second International Workshop on Frontiers in Software Engineering Education, FISEE 2023, which took place at the Château de Villebrumier, France, during January 23-25, 2023. The Editorial and the 8 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover the main topics of the workshop: education in technology and technology for education; new (and fearless) ideas on education; adjustments in teaching during pandemic: experience reports; models for class development; how to design learning objectives and outcomes; labs and practical sessions: how to conduct them; curriculum development; course design; quality course assessment; long-life studies in education; empirical research in SE education; experiences in starting-up new educational systems; blended education. FISEE 2023 is part of a series of scientific events held at the new LASER center in Villebrumier near Montauban and Toulouse, France.

This book includes the refereed Selected Papers of the 20th International Conference on Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries, CAAD Futures 2023, held in Delft, The Netherlands, in July 5–7, 2023. The 43 full papers included in this book were carefully reviewed and selected from 144 submissions. They were organized in topical sections as follows: ​algorithmic architectural design; AI-powered architectural ideation; performance-based design, urban models and analysis; urban design; digital design, materials and fabrication; spatial information, data and semantics; building data analysis, visualisation, interaction; and building massing and layouts.

These two volumes constitute the revised selected papers of First International Conference, ICAIoT 2023, held in Chandigarh, India, during March 30–31, 2023.The 47 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 401 submissions. The two books focus on research issues, opportunities and challenges of AI and IoT applications. They present the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of AI algorithms implementation in IoT Systems

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.

This book constitutes selected papers presented at the 16th International Conference on Service Science, ICSS 2023, held in Harbin, China, in May 2023. The 36 full papers and 2 short papers presented were thoroughly reviewed and selected from the 71 submissions. They are organized in the following topical sections: serverless edge computing; edge services reliability; intelligent services; service application; knowledge-inspired service; service ecosystem; graph-based service optimization; AI-inspired service optimization.

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022. The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions.Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th International Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA); 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd International Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st International Workshop on Digital Twin Architecture (TwinArch).

This book constitutes papers presented during the workshop session titled “CyberSec4Europe - Research to Innovation: Common Research Framework on Security and Privacy” during the Privacy Symposium hosted by Università Ca'Foscari in Venice, Italy, in April 2022. The 11 peer-reviewed selected papers present findings, conclusions, research, and recommendations in various security-related areas, from highly technical ones (e.g., software and network security) to law and human-centric ones (e.g., governance and cybersecurity awareness).

This volume constitutes the papers of the 3rd International Workshop on Active Inference, IWAI 2022, held in Grenoble, France, in conjunction with ECML/PKDD, on September 19, 2022.The 25 revised full papers presented in this book were carefully reviewed and selected from 31 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2023, held in St. Petersburg, FL, USA, during May 19, 2023.The 8 full papers and one keynote paper included in this book were carefully reviewed and selected from 14 submissions. The volume contains two sections: keynote and technical papers.

This book constitutes refereed proceedings of the Third International Workshop on Research and Education in Urban History in the Age of Digital Libraries, UHDL 2023, held in Munich, Germany, during March 27-28, 2023.The 15 full papers presented were carefully reviewed and selected from 32 submissions. The papers are organized in the following topical sections: theory, methods, and systematization; data handling and data schemes; machine Learning and artificial Intelligence; visualization and presentation and education.

This book constitutes the refereed proceedings of the 8th Iberoamerican Workshop on Human-Computer Interaction, HCI-COLLAB 2022, which took place in Havana, Cuba, in October 2022. The 15 full papers presented in this volume were carefully reviewed and selected from 53 submissions. The papers deal with topics such as emotional interfaces, usability, video games, computational thinking, collaborative systems, IoT, software engineering, ICT in education, augmented and mixed virtual reality for education, gamification, emotional interfaces, adaptive instructional systems, accessibility, use of video games in education, artificial intelligence in HCI and infotainment, among others.

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. The 10 full papers included in this book were carefully reviewed and selected from 102 submissions. They were organized in topical sections as follows: tool assisted empirical approach to reusability models assessment; functional programming; three forms of mutant subsumption: basic, strict and broad; and on the efficiency of building large collections of software: modeling, algorithms, and experimental results.