an infrastructure for location-dependent service discovery in the mobile electronic commerce environment