![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 02-Jul-2008 22:29 | 79K | ||
| Autonomic.pdf | 29-Jul-2004 13:11 | 104K | |
| ConfigAssure-One-Pager.pdf | 02-Jul-2008 22:30 | 79K | |
| DeclarativeConfiguration.pdf | 26-Apr-2009 16:58 | 224K | |
| Kodkod_SMT_Comparison.doc | 25-Jan-2009 21:21 | 65K | |
| NetworkConfigurationValidation.pdf | 06-Oct-2009 10:14 | 857K | |
| Telcordia-VCAS-OnePager.pdf | 05-Oct-2007 13:51 | 111K | |
| TelcordiaConfigAssureOnePager.pdf | 17-Oct-2007 13:05 | 99K | |
| TelcordiaIPAssure.pdf | 26-Mar-2008 23:22 | 69K | |
| jlp-narain-article.pdf | 29-Jul-2004 13:11 | 1.3M | |
| paper-jennifer.pdf | 01-Jul-2008 12:57 | 323K | |
| scp-BGP.pdf | 29-Jul-2004 13:11 | 567K | |