You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
World-wide trends such as globalization, demographic shifts, increased customer demands, and shorter product lifecycles present a significant challenge to the road freight transport industry: meeting the growing road freight transport demand economically while striving for sustainability. Artificial intelligence, particularly machine learning, is expected to empower transport planners to incorporate more information and react quicker to the fast-changing decision environment. Hence, using machine learning can lead to more efficient and effective transport planning. However, despite the promising prospects of machine learning in road freight transport planning, both academia and industry struggle to identify and implement suitable use cases to gain a competitive edge. In her dissertation, Sandra Lechtenberg explores how machine learning can enhance decision-making in operational and real-time road freight transport planning. She outlines an implementation guideline, which involves identifying decision tasks in planning processes, assessing their suitability for machine learning, and proposing steps to follow when implementing respective algorithms.
This book constitutes the refereed proceedings of the 13th Software Quality Days Conference, SWQD 2021, which was planned to be held in Vienna, Austria, during January 19–21, 2021. Due to the COVID-19 pandemic, the conference was cancelled and will be merged with SWQD 2022. The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on software quality in Europe with a strong community. The program of the SWQD conference is designed to encompass a stimulating mixture of practical presentations and new research topics in scientific presentations. The guiding conference topic of the SWQD 2021 is “Future Perspectives on Software Engineering Quality”. The 3 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 13 submissions. The volume also contains 2 invited talks and one introductory paper for an interactive session. The contributions were organized in topical sections named: automation in software engineering; quality assurance for AI-based systems; machine learning applications; industry-academia collaboration; and experimentation in software engineering.
This book constitutes the refereed proceedings of the 4th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2012. The selection of presentations at the conference encompasses a mixture of practical presentations and scientific papers covering new research topics. The seven scientific full papers accepted for SWQD were each peer-reviewed by three or more reviewers and selected out of 18 high-quality submissions. Further, six short papers on promising research directions were also presented and included in order to spark discussions between researchers and practitioners. The papers are organized into topical sections on software product quality; software engineering processes; software process improvement; component-based architectures; risk management; and quality assurance and collaboration.
This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023. The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of autonomous driving; security engineering; AI safety; and neural networks and testing.
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
This book constitutes the thoroughly refereed proceedings of the CAiSE Forum 2018 held in Tallinn, Estonia, as part of the 30th International Conference on Advanced Information Systems Engineering, CAiSE 2018, in June 2018. The CAiSE Forum is a place within the CAiSE conference for presenting and discussing new ideas and tools related to information systems engineering. Intended to serve as an interactive platform, the Forum aims at the presentation of emerging new topics and controversial positions, as well as demonstration of innovative systems, tools and applications. This year’s theme was “Information Systems in the Big Data Era”. The 10 full and 12 short papers in this volume were carefully reviewed and selected from 17 direct submissions (of which 2 full and 7 short papers were selected), plus 13 transfers from the CAiSE main conference (which resulted in another 8 full and 5 short papers).
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019. The 10 revised full papers were carefully reviewed and selected from 116 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc.
This book constitutes the refereed proceedings of the 5th International Conference on Future Data and Security Engineering, FDSE 2018, held in Ho Chi Minh City, Vietnam, in November 2018. The 28 revised full papers and 7 short papers presented together with two papers of keynote speeches were carefully reviewed and selected from 122 submissions. The selected papers are organized into the following topical headings: security and privacy engineering; authentication and access control; big data analytics and applications; advanced studies in machine learning; deep learning and applications; data analytics and recommendation systems; Internet of Things and applications; smart city: data analytics and security; and emerging data management systems and applications.
This book explores the possibility of integrating design thinking into today’s technical contexts. Despite the popularity of design thinking in research and practice, this area is still too often treated in isolation without a clear, consistent connection to the world of software development. The book presents design thinking approaches and experiences that can facilitate the development of software-intensive products and services. It argues that design thinking and related software engineering practices, including requirements engineering and user-centric design (UX) approaches, are not mutually exclusive. Rather, they provide complementary methods and tools for designing software-intensi...