Tìm kiếm nâng cao

Current filters:
Current filters:

Discover

Search Results

Item hits:
  • Book

  • Cloud Computing Security

    • Authors : Harkut, Dinesh G. (2020)

  • Cloud computing is the third wave of the digital revolution and it is actually a spectrum of things complementing one another, building on a foundation of sharing. Cloud computing enables simplified functionality of platforms and infrastructure used in IT-enabled industries, so that the end-users can consume what and when they want and pay only for the service they use. Cloud Computing Security Challenges. Cloud Computing Security Services to Mitiga...
  • Book

  • Eingebettete Systeme: Grundlagen Eingebetteter Systeme in Cyber-Physikalischen Systemen

    • Authors : Marwedel, Peter (2021)

  • Ein Alleinstellungsmerkmal dieses Open-Access-Lehrbuchs ist die umfassende Einführung in das Grundlagenwissen über eingebettete Systeme mit Anwendungen in cyber-physischen Systemen und dem Internet der Dinge. Es beginnt mit einer Einführung in das Gebiet und eine Übersicht über Spezifikationsmodelle und -sprachen für eingebettete und cyber-physikalische Systeme. Es gibt einen kurzen Überblick über die für solche Systeme verwendeten Hardware-Geräte und stellt die Grundlagen der System...
  • Book

  • The Cloud-to-Thing Continuum: Opportunities and Challenges in Cloud, Fog and Edge Computing

    • Authors : Lynn, Theo (2020)

  • Chapter 1 defines the Internet of Things and introduces key concepts and enabling technologies. It provides a sense-making framework that marries technical and socio-technical perspectives and summarises some of the main Cloud-IoT reference architectures. Chapter 2 revisits conventional cloud computing and discusses how cloud computing is evolving as a result of the Internet of Things. It discusses how new processor architectures and service models are chang...
  • Book

  • Supercomputing Frontiers: 6th Asian Conference, SCFA 2020 Singapore, February 24–27, 2020 Proceedings

    • Authors : Panda, Dhabaleswar K (2020)

  • This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling. SCFA represents the technical&...
  • Book

  • Computer Aided Verification. Part II

    • Authors : Lahiri, Shuvendu K. (2020)

  • Model Checking Automata Tutor v3, Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization, RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft, Software Verification Code2Inv: A Deep Learning Framework for Program Verification. Stochastic Systems Maximum Causal Entropy Specification Inference from Demonstrations. Certifying Certainty and Uncertainty in Approximate Membership Query Structures. Synthesis Good-Enough Synthesis, Synthesizing JIT Compilers ...
  • Book

  • Computer and Network Security

    • Authors : Sen, Jaydip (2020)

  • This book discusses some of the critical security challenges being faced by today’s computing world, as well as mechanisms to defend against them using classical and modern techniques of cryptography. The book is organized into two sections. Section 1 contains six chapters that focus on various aspects of network security. Section 2 consists of three chapters dealing with various mechanisms of cryptography. In Chapter 1, “Introductory Chapter: Machine&#x...
  • Book

  • Supercomputing Frontiers: 5th Asian Conference, SCFA 2019 Singapore, March 11–14, 2019 Proceedings

    • Authors : Abramson, David (2019)

  • This open access book constitutes the refereed proceedings of the 5th Asian Supercomputing Conference, SCFA 2019, held in Singapore in March 2019. The 6 full papers presented in this book were carefully reviewed and selected from 33 submissions. They cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, resource usage prediction, and data caching.