Resource-Constrained Scheduling for Maritime Traffic Management