The <a href="http://www.cs.cornell.edu/Info/Projects/ISIS/ISIS.html" >ISIS</a> and <a href="http://www.cs.cornell.edu/Info/Projects/HORUS/" >Horus</a> projects at Cornell. </li>
