Active Bibliography

1097 Proof-Carrying Code – George C. Necula - 1997
Appendix on Robustness of . . . – Stephen Calabrese, et al.
32 Safe, Untrusted Agents using Proof-Carrying Code – George C. Necula, Peter Lee - 1998
28 Language-Based Security – Dexter Kozen - 1999
Building an Active Node on the Internet – John V. Guttag, L. Tennenhouse, Arthur C. Smith, David M. Murphy, David M. Murphy, David M. Murphy - 1997
3 An Application-level Quality of Service Architecture for Internet Collaboratories – Robert Malan, Farnam Jahanian - 1996
8 Chunks in PLAN: Language Support for Programs as Packets – Jonathan T. Moore, Michael Hicks, Scott Nettles - 1999
1 Proofs of Safety for Untrusted Code – Grigore Rosu, Nathan Segerlind - 1999
3 Reducing Load Delay to Improve Performance of Internet-Computing Programs – Chandra Krintz - 2001
12 Issues in the Design of an Extensible Operating System – Stefan Savage, Brian N. Bershad - 1994
14 Evaluation of Architectural Support for Global Address-Based Communication in Large-Scale Parallel Machines – Arvind Krishnamurthy, Klaus E. Schauser Y, Chris J. Scheiman Y, Olph Y. Wang, David E. Culler, Katherine Yelick - 1996
11 Structure and Performance of Decision Support Algorithms on Active Disks – Mustafa Uysal , Anurag Acharya, Joel Saltz - 1998
8 Flexibility and Performance of Parallel File Systems – David Kotz, Nils Nieuwejaar - 1996
10 Security in Active Networks – D. Scott Alexander, William A. Arbaugh, Angelos D. Keromytis, Jonathan M. Smith - 1999
25 Vino: an integrated platform for operating systems and database research – Christopher Small, Margo Seltzer - 1994
35 A Migratable User-Level Process Package For PVM – Ravindranath Bala Konuru - 1995
127 Hardening COTS Software with Generic Software Wrappers – Lee Badger, Mark Feldman, Glenwood Md - 1999
62 Practical Programmable Packets – Jonathan T. Moore, Michael Hicks, Scott Nettles - 2001
4 Practical Network Applications on a Lightweight Active Management Environment – K. G. Anagnostakis, S. Ioannidis, S. Miltchev, J. M. Smith - 2001