Managing device pools