An agent-based approach for modeling dynamics of sexual transmission of HIV/AIDS | IEEE Conference Publication | IEEE Xplore