Managing resource pools