Virtualization provides increased control and flexibility on how resources are allocated to applications. However, common resource provisioning mechanisms do not fully use these advantages; either they provide limited support for applications demanding quality of service, or the resource allocation complexity is high. To address these issues we developed Themis, a market-based application management platform. By limiting the coupling between the applications and resource manage- ment, Themis can support diverse types of applications and performance goals while ensuring maximized resource usage. In this paper we analyze the resource management mechanisms of Themis. We present the perfor- mance of Themis in the case in which users execute batch applications with Service Level Objectives such as deadlines.