{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T12:26:02Z","timestamp":1756383962439,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T00:00:00Z","timestamp":1291075200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,11,30]]},"DOI":"10.1145\/1921168.1921176","type":"proceedings-article","created":{"date-parts":[[2010,12,22]],"date-time":"2010-12-22T14:41:30Z","timestamp":1293028890000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["Declarative configuration management for complex and dynamic networks"],"prefix":"10.1145","author":[{"given":"Xu","family":"Chen","sequence":"first","affiliation":[{"name":"AT&T Labs - Research and University of Michigan - Ann Arbor"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yun","family":"Mao","sequence":"additional","affiliation":[{"name":"AT&T Labs - Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z. Morley","family":"Mao","sequence":"additional","affiliation":[{"name":"University of Michigan - Ann Arbor"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacobus","family":"Van der Merwe","sequence":"additional","affiliation":[{"name":"AT&T Labs - Research"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,11,30]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"IETF Policy Framework Charter. http:\/\/ietf.org.  IETF Policy Framework Charter. http:\/\/ietf.org."},{"key":"e_1_3_2_1_2_1","unstructured":"LINQ. http:\/\/msdn.microsoft.com\/netframework\/future\/linq\/.  LINQ. http:\/\/msdn.microsoft.com\/netframework\/future\/linq\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Network confguration (netconf). http:\/\/www.ietf.org\/html.charters\/netconf-charter.html.  Network confguration (netconf). http:\/\/www.ietf.org\/html.charters\/netconf-charter.html."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1282380.1282404"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. of NSDI","author":"Belaramani N.","year":"2009","unstructured":"N. Belaramani , J. Zheng , A. Nayte , M. Dahlin , and R. Grimm . PADS: A Policy Architecture for building Distributed Storage systems . In Proc. of NSDI , 2009 . N. Belaramani, J. Zheng, A. Nayte, M. Dahlin, and R. Grimm. PADS: A Policy Architecture for building Distributed Storage systems. In Proc. of NSDI, 2009."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142351.1142399"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of HotNets Workshop","author":"Caldwell D.","year":"2003","unstructured":"D. Caldwell , A. Gilbert , J. Gottlieb , A. Greenberg , G. Hjalmtysson , and J. Rexford . The cutting EDGE of IP router confguration . In Proceedings of HotNets Workshop , 2003 . D. Caldwell, A. Gilbert, J. Gottlieb, A. Greenberg, G. Hjalmtysson, and J. Rexford. The cutting EDGE of IP router confguration. In Proceedings of HotNets Workshop, 2003."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1282380.1282382"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1658939.1658971"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of USENIX ATC","author":"Chen X.","year":"2009","unstructured":"X. Chen , Z. M. Mao , and J. Van der Merwe. ShadowNet: A Platform for Rapid and Safe Network Evolution . In Proceedings of USENIX ATC , 2009 . X. Chen, Z. M. Mao, and J. Van der Merwe. ShadowNet: A Platform for Rapid and Safe Network Evolution. In Proceedings of USENIX ATC, 2009."},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of LISA","author":"Delaet T.","year":"2007","unstructured":"T. Delaet and W. Joosen . PoDIM: A language for high-level confguration management . In Proceedings of LISA , 2007 . T. Delaet and W. Joosen. PoDIM: A language for high-level confguration management. In Proceedings of LISA, 2007."},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of USENIX ATC","author":"Enck W.","year":"2007","unstructured":"W. Enck , P. McDaniel , S. Sen , P. Sebos , S. Spoerel , A. Greenberg , S. Rao , and W. Aiello . Confguration management at massive scale: system design and experience . In Proceedings of USENIX ATC , 2007 . W. Enck, P. McDaniel, S. Sen, P. Sebos, S. Spoerel, A. Greenberg, S. Rao, and W. Aiello. Confguration management at massive scale: system design and experience. In Proceedings of USENIX ATC, 2007."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of NSDI","author":"Feamster N.","year":"2005","unstructured":"N. Feamster and H. Balakrishnan . Detecting BGP Confguration Faults with Static Analysis . In Proceedings of NSDI , 2005 . N. Feamster and H. Balakrishnan. Detecting BGP Confguration Faults with Static Analysis. In Proceedings of NSDI, 2005."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/65.826367"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2003.1248660"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132863.1132867"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1096536.1096541"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1384609.1384625"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592681.1592683"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/DRCN.2009.5340032"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1672308.1672320"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of OSDI","author":"Kushman N.","year":"2010","unstructured":"N. Kushman and D. Katabi . Enabling Confguration-Independent Automation by Non-Expert Users . In Proceedings of OSDI , 2010 . N. Kushman and D. Katabi. Enabling Confguration-Independent Automation by Non-Expert Users. In Proceedings of OSDI, 2010."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142485"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095818"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1080091.1080126"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1544012.1544017"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of HotNets Workshop","author":"Peterson L.","year":"2004","unstructured":"L. Peterson , S. Shenker , and J. Turner . Overcoming the Internet Impasse Through Virtualization . In Proceedings of HotNets Workshop , 2004 . L. Peterson, S. Shenker, and J. Turner. Overcoming the Internet Impasse Through Virtualization. In Proceedings of HotNets Workshop, 2004."},{"key":"e_1_3_2_1_28_1","volume-title":"Database Management Systems","author":"Ramakrishnan R.","year":"2002","unstructured":"R. Ramakrishnan and J. Gehrke . Database Management Systems . McGraw-Hill , third edition, 2002 . R. Ramakrishnan and J. Gehrke. Database Management Systems. McGraw-Hill, third edition, 2002."},{"key":"e_1_3_2_1_29_1","volume-title":"A Survey of Research on Deductive Database Systems. Journal of Logic Programming, 23(2): 125--149","author":"Ramakrishnan R.","year":"1993","unstructured":"R. Ramakrishnan and J. D. Ullman . A Survey of Research on Deductive Database Systems. Journal of Logic Programming, 23(2): 125--149 , 1993 . R. Ramakrishnan and J. D. Ullman. A Survey of Research on Deductive Database Systems. Journal of Logic Programming, 23(2): 125--149, 1993."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/774763.774773"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133373.1133379"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2003.822655"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592568.1592595"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of INM Workshop","author":"Vanbever L.","year":"2008","unstructured":"L. Vanbever , G. Pardoen , and O. Bonaventure . Towards Validated Network Confgurations with NCGuard . In Proceedings of INM Workshop , 2008 . L. Vanbever, G. Pardoen, and O. Bonaventure. Towards Validated Network Confgurations with NCGuard. In Proceedings of INM Workshop, 2008."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/972374.972378"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1656980.1656994"}],"event":{"name":"Co-NEXT '10: Conference on emerging Networking EXperiments and Technologies","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Philadelphia Pennsylvania","acronym":"Co-NEXT '10"},"container-title":["Proceedings of the 6th International COnference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1921168.1921176","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1921168.1921176","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:44Z","timestamp":1750244384000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1921168.1921176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,30]]},"references-count":37,"alternative-id":["10.1145\/1921168.1921176","10.1145\/1921168"],"URL":"https:\/\/doi.org\/10.1145\/1921168.1921176","relation":{},"subject":[],"published":{"date-parts":[[2010,11,30]]},"assertion":[{"value":"2010-11-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}