A behavior-aware SLA-based framework for guaranteeing the security conformance of cloud service
As cloud computing technology turning to mature, cloud services have become a trust-based
service. Users' distrust of the security and performance of cloud services will hinder the rapid …
service. Users' distrust of the security and performance of cloud services will hinder the rapid …
Challenges in formal methods for testing and verification of cloud computing systems
A Gawanmeh, A Alomari - Scalable Computing: Practice and Experience, 2015 - scpe.org
Formal methods are necessary to capture the semantics and behavior of processes of
various systems. They characterize and provide insight into the behavior of real systems and …
various systems. They characterize and provide insight into the behavior of real systems and …
Improving reliability in management of cloud computing infrastructure by formal methods
S Kikuchi, K Hiraishi - 2014 IEEE Network Operations and …, 2014 - ieeexplore.ieee.org
Recent studies identify misconfiguration as the most frequent cause for failures in
information systems including cloud computing infrastructure. Therefore, reducing operator …
information systems including cloud computing infrastructure. Therefore, reducing operator …
CloudSec: A novel approach to verifying security conformance at the bottom of the cloud
In the process of big data analysis and processing, a key concern blocking users from
storing and processing their data in the cloud is their misgivings about the security and …
storing and processing their data in the cloud is their misgivings about the security and …
CRISP: Change Risk for IT Service Providers
A Ayachitula, U Sharma - … on Trust, Privacy and Security in …, 2023 - ieeexplore.ieee.org
Change is the leading culprit for availability and security risk incidents. It often leads to many
incidents that in turn increases the time to resolution (TTR) of the tickets/problems. Changes …
incidents that in turn increases the time to resolution (TTR) of the tickets/problems. Changes …
[PDF][PDF] Continual Verification of Non-Functional Properties in Cloud-Based Systems.
Cloud-based systems are used to deliver business-critical and safety-critical services in
domains ranging from e-commerce and e-government to finance and healthcare. Many of …
domains ranging from e-commerce and e-government to finance and healthcare. Many of …
Performance evaluation of dynamic load balancing protocols based on formal models in cloud environments
R Ben Hamouda, S Boussema, I Ben Hafaiedh… - … and Evaluation of …, 2018 - Springer
Cloud computing has recently emerged as a new paradigm for hosting and delivering
services over the Internet. It is an attracting technology in the field of computer science since …
services over the Internet. It is an attracting technology in the field of computer science since …
EAGER: Deployment-time API Governance for Modern PaaS Clouds
H Jayathilaka, C Krintz, R Wolski - 2015 IEEE International …, 2015 - ieeexplore.ieee.org
To track, control, and compel reuse of web APIs, we investigate a new approach to API
governance--combined policy, implementation, and deployment control of web APIs. Our …
governance--combined policy, implementation, and deployment control of web APIs. Our …
Systolic array implementation of block based Hopfield neural network for pattern association
This paper suggests a systolic array implementation of block based Hopfield neural network
architecture using completely digital circuits. The design is based on rewriting the energy …
architecture using completely digital circuits. The design is based on rewriting the energy …
Adaptive Failure-Aware Scheduling for Hadoop
M Soualhia - 2018 - spectrum.library.concordia.ca
Given the dynamic nature of cloud environments, failures are the norm rather than the
exception in data centers powering cloud frameworks. Despite the diversity of integrated …
exception in data centers powering cloud frameworks. Despite the diversity of integrated …