Cloud service providers typically adopt the multi-tenancy model to optimize resources usage
and achieve the promised cost-effectiveness. Sharing resources between different tenants …

Recently, it has been shown that the enumeration of Minimal Correction Subsets (MCS) of
Boolean formulas allows solving Multi-Objective Boolean Optimization (MOBO) formulations …

Cloud computing has seen a lot of interests and adoption lately. Nonetheless, the
widespread adoption of cloud is still being hindered by the lack of transparency and …

Cloud computing is emerging as a promising IT solution for enabling ubiquitous, convenient,
and on-demand accesses to a shared pool of configurable computing resources. However …

The verification of security compliance with respect to security standards and policies is
desirable to both cloud providers and users. However, the sheer size of a cloud implies a …

Multi-tenancy in the cloud is a double-edged sword. While it enables cost-effective resource
sharing, it increases security risks for the hosted applications. Indeed, multiplexing virtual …

One approach for solving Constraint Satisfaction Problems (CSP)(and related Constraint
Optimization Problems (COP)) involving integer and Boolean variables is reduction to …

We present a configurable, hybrid, and parallel covering array constructor, called CHiP.
CHiP is parallel in that it utilizes vast amount of parallelism provided by graphics processing …

The multi-tenancy in a cloud along with its dynamic and self-service nature could cause
severe security concerns, such as isolation breaches among cloud tenants. To mitigate such …

Detection of regions of interest is usually based on edge maps. We suggest a novel
nonedge-based mechanism for detection of regions of interest, which extracts 3D …