A formalized framework for mobile cloud computing