Filter by
Mobile edge computing
It offers comprehensive, self-contained knowledge on Mobile Edge Computing (MEC), which is a very promising technology for achieving intelligence in the next-generation wireless communications and computing networks. The book starts with the basic concepts, key techniques and network architectures of MEC. Then, we present the wide applications of MEC, including edge caching, 6G networks, Inter…
- Edition
- -
- ISBN/ISSN
- 9783030839444
- Collation
- xiv + 113 p
- Series Title
- Simula SpringerBriefs on Computing
- Call Number
- 004.167 ZHA m
Automated reasoning
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving…
- Edition
- 1
- ISBN/ISSN
- 9783031107696
- Collation
- xv; 756 PG; ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 AUT a
Dependable embedded systems
This Open Access book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have emerged particularly within the last five years. This book introduces the most prominent reliability concerns from today’s points of view and roughly recapitulates the progress in the community so far. Unlike other books that focus on a single abstraction le…
- Edition
- -
- ISBN/ISSN
- 9783030520175
- Collation
- xiii, 608p. : ill.
- Series Title
- -
- Call Number
- 621.3815 DEP d
Managing distributed cloud applications and infrastructure : a self-optimisin…
The emergence of the Internet of Things (IoT), combined with greater heterogeneity not only online in cloud computing architectures but across the cloud-to-edge continuum, is introducing new challenges for managing applications and infrastructure across this continuum. The scale and complexity is simply so complex that it is no longer realistic for IT teams to manually foresee the potential iss…
- Edition
- -
- ISBN/ISSN
- 9783030398637
- Collation
- xxiii, 163p. : ill.
- Series Title
- -
- Call Number
- 004.6782 MAN m
A journey of embedded and cyber-physical systems : essays dedicated to Peter …
This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a compre…
- Edition
- -
- ISBN/ISSN
- 9783030474874
- Collation
- xv, 176p. : ill.
- Series Title
- -
- Call Number
- 004.21 JOU j
The Huawei and Snowden questions : Can electronic equipment from untrusted ve…
This book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a …
- Edition
- -
- ISBN/ISSN
- 9783319749501
- Collation
- xiv, 116p. : ill.
- Series Title
- -
- Call Number
- 005.8 LYS h
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography