發送短信 : Foundational and practical aspects of resource analysis