Top-k Publish/Subscribe service using Amazon AWS