Agent-based simulation and greenhouse gas emissions trading | IEEE Conference Publication | IEEE Xplore