An Architecture for Real-Time Distributed Scheduling