Double auction protocols for resource allocation in grids | IEEE Conference Publication | IEEE Xplore