A personalized hypermedia application for web-based tools