An Application Conflict Detection and Resolution System for Smart Homes | IEEE Conference Publication | IEEE Xplore