Implementing an auction market for regulation service using software agents | IEEE Conference Publication | IEEE Xplore