A personal resource manager