A Formal Model of Dynamic Resource Allocation in Grid Computing Environment | IEEE Conference Publication | IEEE Xplore