Kashif Munir

Learn More
Cloud computing is set of resources and services offered through the Internet. Cloud services are delivered from data centers located throughout the world. Cloud computing facilitates its consumers by providing virtual resources via internet. The biggest challenge in cloud computing is the security and privacy problems caused by its multi-tenancy nature and(More)
OBJECTIVE To describe the association of the rare and serious complication of jaundice with severe thyrotoxicosis, a potentially lethal endocrine disorder. METHODS We report the clinical, laboratory, and pathologic findings of 2 cases of severe jaundice (total bilirubin levels: 35.2 mg/dL in case 1 and 42 mg/dL in case 2) associated with thyroid storm in(More)
We consider sustainable and deterministic QoS a key ingredient for providing virtualization and hence introduce an end-to-end Quality of Service mechanism for Grid bulk data transfers. Our mechanism enables per-flow guarantees and efficiently utilizes available resources without requiring any router support except for the provisioning of a single high class(More)
Advance Reservation mechanisms in Grid systems should include the network just like any other resource; this is usually not only a technical, but also an administrative challenge. In this paper, we present a QoS mechanism for bulk data transfers which minimizes the necessary support from network service providers. By shifting the complexity of controlling(More)
Grid applications need to move large amounts of data between distributed resources within deterministic timeframes. In most cases it is possible to specify the volume and the deadline in advance. We formally define and analyze a mechanism of network reservations of bulk data transfer requests having opportunistic utilization of residual network capacity and(More)
This paper proposes an opportunistic, reliable and realistic QoS mechanism for bulk data transfers in Grids, which maximizes acceptance rate and network resource utilization by using an event based priority queue. The metrics that have been studied in the evaluation of elastic scheduling heuristics are the acceptance percentage and the mean flow time of(More)
Database-as-a-service (DBaaS) is a cloud computing service model that provides users with some form of access to a database without the need for setting up physical hardware, installing software or configuring for performance. Since consumers host data on the Cloud, DBaaS providers should be able to guarantee data owners that their data would be protected(More)
In this paper, we propose a bounded model-checking based approach for the verification of declarative Web services composition processes using satisfiability solving (SAT). The need for the bounded model-checking approach stems from the nature of declarative processes as they are defined by only specifying the constraints that mark the boundary of the(More)