Agent-based modeling of smart-grid market operations | IEEE Conference Publication | IEEE Xplore