HTTP库

http:^^www.cs.umd.edu^projects^harmony^

http:^^http.cs.berkeley.edu^~debevec^research^

http:^^www.cs.unc.edu^research^colab.html

http:^^www.cs.tamu.edu^research^dsg^

http:^^www.cs.indiana.edu:^scicomp^home.html

http:^^www.cs.utsa.edu^research^plss.html

http:^^www.cs.utah.edu^projects^formal_verificatio

http:^^www.cs.umd.edu^projects^pchasm^

http:^^millennium.cs.ucla.edu:80^~ssn^

http:^^www.nd.edu^~esha^nsfproj.html