A Distributed Real Time Resource Manager