{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:00:47Z","timestamp":1742389247987},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540458913"},{"type":"electronic","value":"9783540458937"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11880905_4","type":"book-chapter","created":{"date-parts":[[2006,9,28]],"date-time":"2006-09-28T12:10:10Z","timestamp":1159445410000},"page":"36-49","source":"Crossref","is-referenced-by-count":8,"title":["Self-configuration of Network Devices with Configuration Logic"],"prefix":"10.1007","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9ric","family":"Wenaas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roger","family":"Villemaire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omar","family":"Cherkaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Configuring VTP, http:\/\/www.cisco.com\/en\/US\/products\/hw\/switches\/ps708\/products_configuration_guide_chapter09186a008019f048.html"},{"key":"4_CR2","unstructured":"An OSS for packet networks. Cisco Systems Packet Magazine\u00a014(1), 25\u201327 (2002)"},{"key":"4_CR3","unstructured":"802.11Q: Virtual bridged local area networks standard (2003), http:\/\/standards.ieee.org\/getieee802\/download\/802.1Q-2003.pdf"},{"key":"4_CR4","unstructured":"802.11Q: Virtual bridged local area networks standard (2003), http:\/\/standards.ieee.org\/getieee802\/download\/802.1Q-2003.pdf"},{"issue":"4","key":"4_CR5","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1109\/JCN.2001.6596962","volume":"3","author":"R. Boutaba","year":"2001","unstructured":"Boutaba, R., Omari, S., Virk, A.P.S.: SELFCON: An architecture for self-configuration of networks. Journal of Communications and Networks\u00a03(4), 317\u2013323 (2001)","journal-title":"Journal of Communications and Networks"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Calcagno, C., Cardelli, L., Gordon, A.D.: Deciding validity in a spatial logic for trees. In: TLDI, pp. 62\u201373 (2003)","DOI":"10.1145\/604174.604183"},{"key":"4_CR7","unstructured":"Couch, A.L., Gilfix, M.: It\u2019s elementary, dear Watson: Applying logic programming to convergent system management processes. In: LISA, pp. 123\u2013138. USENIX (1999)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Deca, R., Cherkaoui, O., Puche, D.: A validation solution for network configuration. In: CNSR (2004)","DOI":"10.1109\/DNSR.2004.1344738"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Enns, R.: Netconf. configuration protocol, IETF internet draft (February 2006)","DOI":"10.17487\/rfc4741"},{"key":"4_CR10","first-page":"55","volume-title":"CLUSTER","author":"S.A. Fakhouri","year":"2001","unstructured":"Fakhouri, S.A., Goldszmidt, G.S., Kalantar, M.H., Pershing, J.A., Gupta, I.: Gulfstream - a system for dynamic topology management in multi-domain server farms. In: CLUSTER, pp. 55\u201362. IEEE Computer Society, Los Alamitos (2001)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/11687818_14","volume-title":"Autonomic Communication","author":"D. Ga\u00efti","year":"2006","unstructured":"Ga\u00efti, D., Pujolle, G., Salaun, M., Zimmermann, H.: Autonomous network equipments. In: Stavrakakis, I., Smirnov, M. (eds.) WAC 2005. LNCS, vol.\u00a03854, pp. 177\u2013185. Springer, Heidelberg (2006)"},{"key":"4_CR12","unstructured":"Golab, W., Boutaba, R.: Optical network reconfiguration using automated regression-based parameter value selection. In: ICN (2004)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-30189-9_15","volume-title":"Management of Multimedia Networks and Services","author":"S. Hall\u00e9","year":"2004","unstructured":"Hall\u00e9, S., Deca, R., Cherkaoui, O., Villemaire, R.: Automated validation of service configuration on network devices. In: Vicente, J.B., Hutchison, D. (eds.) MMNS 2004. LNCS, vol.\u00a03271, pp. 176\u2013188. Springer, Heidelberg (2004)"},{"key":"4_CR14","first-page":"27","volume-title":"TIME","author":"S. Hall\u00e9","year":"2006","unstructured":"Hall\u00e9, S., Villemaire, R., Cherkaoui, O.: CTL model checking for labelled tree queries. In: TIME, pp. 27\u201335. IEEE Computer Society, Los Alamitos (2006)"},{"key":"4_CR15","unstructured":"Hariri, S., Xue, L., Chen, H., Zhang, M., Pavuluri, S., Rao, S.: Autonomia: An autonomic computing environment. In: IPCCC (April 2003)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Keller, R.M.: Self-Configuring Services for Extensible Networks \u2013 A Routing-Integrated Approach. PhD thesis, Swiss Federal Institute of Technology (2004)","DOI":"10.1007\/978-3-540-24715-9_13"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering and efficient SAT solver. In: Proceedings of the 39th Design Automation Conference (June 2001)","DOI":"10.1145\/378239.379017"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/11591191_3","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"R. Nieuwenhuis","year":"2005","unstructured":"Nieuwenhuis, R., Oliveras, A.: Decision procedures for SAT, SAT modulo theories and beyond. The barcelogicTools. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS, vol.\u00a03835, pp. 23\u201346. Springer, Heidelberg (2005)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11527800_20","volume-title":"Unconventional Programming Paradigms","author":"M. Parashar","year":"2005","unstructured":"Parashar, M., Hariri, S.: Autonomic computing: An overview. In: Ban\u00e2tre, J.-P., Fradet, P., Giavitto, J.-L., Michel, O. (eds.) UPP 2004. LNCS, vol.\u00a03566, pp. 257\u2013269. Springer, Heidelberg (2005)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-30179-0_2","volume-title":"Intelligence in Communication Systems","author":"G. Pujolle","year":"2004","unstructured":"Pujolle, G., Ga\u00efti, D.: Intelligent routers and smart protocols. In: Aagesen, F.A., Anutariya, C., Wuwongse, V. (eds.) INTELLCOMM 2004. LNCS, vol.\u00a03283, pp. 16\u201327. Springer, Heidelberg (2004)"},{"key":"4_CR21","volume-title":"Directory Enabled Networks","author":"J. Strassner","year":"1999","unstructured":"Strassner, J.: Directory Enabled Networks. Macmillan Technical Publishing, Basingstoke (1999)"},{"key":"4_CR22","first-page":"131","volume-title":"TIME","author":"R. Villemaire","year":"2005","unstructured":"Villemaire, R., Hall\u00e9, S., Cherkaoui, O.: Configuration logic: A multi-site modal logic. In: TIME, pp. 131\u2013137. IEEE Computer Society, Los Alamitos (2005)"},{"key":"4_CR23","unstructured":"Villemaire, R., Hall\u00e9, S., Cherkaoui, O.: A hierarchical logic for network configuration. In: LPAR (2005) (Short paper proceedings)"},{"issue":"1\/2","key":"4_CR24","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1023\/A:1006351428454","volume":"24","author":"H. Zhang","year":"2000","unstructured":"Zhang, H., Stickel, M.E.: Implementing the Davis-Putnam method. J. Autom. Reasoning\u00a024(1\/2), 277\u2013296 (2000)","journal-title":"J. Autom. Reasoning"}],"container-title":["Lecture Notes in Computer Science","Autonomic Networking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11880905_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:50:13Z","timestamp":1605642613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11880905_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540458913","9783540458937"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11880905_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}