DARPA Active Nets and Networking PI Meeting 1997

March 5-7, 1997, Baltimore, Maryland.

Presentations on Active Networks

Report on Active Network Activity, by John Guttag, MIT.
Liquid Software, by Larry Peterson, University of Arizona.
Mathematical Modelling/Specification/Verification/Performance Analysis/Fault-Tolerance Analysis for Network Services, by Nancy Lynch, MIT.
Smart Packets, by Alden Jackson and Craig Partridge, BBN Corp.
SwitchWare by Jonathan Smith, University of Pennsylvania.

Related Networking PI Presentations

From Internet to Active Net, by John Guttag, MIT.
Specifying and Using a Virtually Synchronous Group Communication Service, by Nancy Lynch, MIT.
Ensemble: A Tool for Building Highly Assured Networks, by Kenneth P. Birman, Cornell University. Available also in PowerPoint format.

Page under construction.
Direct comments regarding this web site to active-www@salsa.lcs.mit.edu.
Back to Active Nets Home Page.