This document summarizes a research paper on developing an efficient dynamic resource scheduling model called CRAM for cloud computing. The proposed model uses Stochastic Reward Nets to model cloud resources and client requests in an analytical way. It captures key concepts like virtualization, federation between clouds, and defines performance metrics from the perspective of both cloud providers and users. The model is scalable and can represent systems with thousands of resources to analyze the impact of different resource management strategies.