Expose or Not? A Progressive Exposure Approach for Service Discovery in Pervasive Computing Environments