The Proteus Project home page has been moved to http://cs.nyu.edu/cs/projects/proteus