publication venue for A winner determination algorithm for auction-based decentralized scheduling 2007