A distributed middleware infrastructure for personalized services