for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Convergence in crossover service explores the crossover phenomenon, crossover services and the convergence issues that arise in typical crossover scenarios.
This book focuses on novel design and systems engineering approaches, including theories and best practices, for promoting a better integration of people and engineering systems.
The papers cover a large variety of topics, including testing, formal... Læs mere
The two volumes LNCS 11982 and 11983 constitute the proceedings of the 11th... Læs mere
This open access book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources.
This book guides the reader through a design process that was tested and... Læs mere
The fields of software engineering, informatics, computer science, and... Læs mere
This graduate-level textbook is ideally suited for lecturing the most relevant topics of Edge Computing and its ties to Artificial Intelligence (AI) and Machine... Læs mere
This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems.