Providing Real-Time Scheduling for Mobile Agents in the JADE Platform | IEEE Conference Publication | IEEE Xplore