Search Results - "cloud services"

APPLICATION FEATURES OF ELECTRONIC TEACHING MATERIALS IN PROFESSIONAL TRAINING OF SPECIALISTS IN THE FIELD OF PHYSICAL EDUCATION AND SPORTS by Julia Barkova

Connect to this object online.

THE USE OF THE CLOUD-BASED SERVICES OF DATA PROCESSING WITHIN THE SYSTEMS OF OPEN SCIENCE by M. Shyshkina, M. Popel

Connect to this object online.

The Human Toxome Collaboratorium: a shared environment for multi-omic computational collaboration within a consortium by Rick A Fasani, Carolina B Livi, Dipanwita eRoy Choudhury, Andre eKleensang, Mounir eBouhifd, Salil N Pendse, Patrick D McMullen, Melvin E Anderson, Thomas eHartung, Thomas eHartung, Michael eRosenberg

Connect to this object online.

BLOOM: BLoom filter based oblivious outsourced matchings by Jan Henrik Ziegeldorf, Jan Pennekamp, David Hellmanns, Felix Schwinger, Ike Kunze, Martin Henze, Jens Hiller, Roman Matzutt, Klaus Wehrle

Connect to this object online.

Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools /

Table of Contents: “…QoX Network- and Cloud Services Management -- Traffic Management for Cloud Federation -- Efficient Simulation of IoT Cloud Use Cases -- Security of Internet of Things for Reliable Internet of Services -- TCP performance over current cellular access: Acomprehensive analysis.…”
Link to Metadata

Digital Entrepreneurship Impact on Business and Society

DOAB: download the publication
DOAB: description of the publication

Potential of Large Language Models in Health Care: Delphi Study by Kerstin Denecke, Richard May, Octavio Rivera Romero

Connect to this object online.

Model-Driven Development and Operation of Multi-Cloud Applications The MODAClouds Approach /

Table of Contents: “…Introduction -- Cloud Service Offer Selection -- The MODAClouds Model-Driven Development -- QoS Assessment and SLA Management -- Monitoring in a Multi-Cloud Environment -- Load Balancing for Multi-Cloud -- Fault-tolerant Off-line Data Migration: The Hegira4Clouds Approach. …”
Link to Metadata

A Gig mHealth Economy Framework: Scoping Review of Internet Publications by Alanezi, Fahad, Alanzi, Turki

Connect to this object online.

Digital Entrepreneurship Impact on Business and Society by Soltanifar, Mariusz

OAPEN Library: download the publication
OAPEN Library: description of the publication

Digital Entrepreneurship Impact on Business and Society

OAPEN Library: download the publication
OAPEN Library: description of the publication

Data Privacy and Trust in Cloud Computing Building trust in the cloud through assurance and accountability /

Table of Contents: “…Chapter 1: Understanding Trust and Cloud Computing: An Integrated Framework for Assurance and Accountability in the Cloud -- Chapter 2: Dear Cloud, I think we have trust issues: Cloud Computing Contracts and Trust -- Chapter 3: Competing Jurisdictions - Data Privacy Across the Border -- Chapter 4: Understanding and Enhancing Consumer Privacy Perceptions in the Cloud -- Chapter 5: Justice vs Control in Cloud Computing: A Conceptual Framework for Positioning a Cloud Service Provider's Privacy Orientation -- Chapter 6: Ethics and Cloud Computing -- Chapter 7: Trustworthy Cloud Computing.…”
Link to Metadata

IMPLEMENTATION OF INFORMATION TECHNOLOGIES IN INSTITUTIONS OF VOCATIONAL EDUCATION by Kodik Alla, Pohorielov Mykhailo

Connect to this object online.

Measuring the Business Value of Cloud Computing

Table of Contents: “…-Chapter 3 - The SaaS Payoff: Measuring the Business Value of Provisioning Software-as-a-Service Technologies Chapter 4 - Cloud service brokerage: Exploring characteristics and benefits of B2B cloud application marketplaces -- Chapter 5 - Economic Models for Federated Clouds: An Extension of Cost Models for Cloud Deployments -- Chapter 6 - Value creation and power asymmetries in digital ecosystems: A study of a cloud gaming provider -- Chapter 7 - Measuring the Business Value of Cloud Computing: Emerging Paradigms and Future Directions for Research.…”
Link to Metadata

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges /

Table of Contents: “…Supporting cross-domain system-level environmental and earth science -- ICT infrastructure for environmental and earth sciences -- Common challenges and requirements -- ENVRI reference model -- Reference model guided engineering -- Semantic and knowledge engineering using ENVRI RM -- Data curation and preservation -- Data cataloguing -- Data identification and citation -- Data processing -- Virtual infrastructure optimization -- Data provenance -- Metadata, semantic linking -- Authentication, Authorization, and Accounting -- Virtual research environment -- Case study: e.g., data subscriptions using elastic Cloud service -- Case study: e.g., D4Science: a VRE solution for RI -- Case study: LifeWatch -- Sustainability -- Future challenges.…”
Link to Metadata

Digital Entrepreneurship Impact on Business and Society /

Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata

The Future of Healthcare is in the Cloud by Sofia Shehzad

Connect to this object online.

Analysis of the Security and Privacy Requirements of Cloud-Based Electronic Health Records Systems by JPC Rodrigues, Joel, de la Torre, Isabel, Fernández, Gonzalo, López-Coronado, Miguel

Connect to this object online.

Methodology of formation of modeling skills based on a constructive approach (on the example of GeoGebra) by Marina G. Drushlyak, Olena V. Semenikhina, Volodymyr V. Proshkin, Serhii Ya. Kharchenko, Tetyana D. Lukashova

Connect to this object online.