Mansion, a distributed multi-agent system | IEEE Conference Publication | IEEE Xplore