Interactive Design of Geofences for Proactive Location-Based Services in Smart Cities | IEEE Conference Publication | IEEE Xplore