{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T10:51:41Z","timestamp":1730285501282,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/nfv-sdn.2018.8725754","type":"proceedings-article","created":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:50:11Z","timestamp":1559256611000},"page":"1-6","source":"Crossref","is-referenced-by-count":8,"title":["A Behavior-Driven Approach to Intent Specification for Software-Defined Infrastructure Management"],"prefix":"10.1109","author":[{"given":"Flavio","family":"Esposito","sequence":"first","affiliation":[]},{"given":"Jiayi","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Chiara","family":"Contoli","sequence":"additional","affiliation":[]},{"given":"Gianluca","family":"Davoli","sequence":"additional","affiliation":[]},{"given":"Walter","family":"Cerroni","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Callegati","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Tech Rep TR-523","article-title":"Intent NBI - Definition and Principles","year":"2016","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2716281.2836119"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592785"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2674989"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"ref15","first-page":"1","article-title":"Composing software defined networks","author":"monsanto","year":"2013","journal-title":"Proc USENIX Symposium on Network Systems and Design and Implementation (NSDI)"},{"key":"ref16","first-page":"519","article-title":"Tierless programming and reasoning for software-defined networks","author":"nelson","year":"2014","journal-title":"Proc USENIX Conf Networked Systems Design and Implementation (NSDI)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOMW.2017.8116375"},{"key":"ref18","first-page":"609","article-title":"Net2Text: Query-guided summarization of network forwarding behaviors","author":"birkner","year":"2018","journal-title":"Proc USENIX Symposium on Network Systems and Design and Implementation (NSDI)"},{"article-title":"Behavior-driven development","year":"2003","author":"north","key":"ref19"},{"key":"ref4","first-page":"99","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proc USENIX Symposium on Network Systems and Design and Implementation (NSDI)"},{"key":"ref3","first-page":"15","article-title":"VeriFlow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc USENIX Symposium on Network Systems and Design and Implementation (NSDI)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICIEV.2016.7760078"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620754"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620743"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491197"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"},{"journal-title":"European Telecommunications Standards Institute Standard ETSI GS NFV 002","article-title":"Network Functions Virtualisation (NFV); Architectural Framework","year":"2014","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"journal-title":"Test Driven Development By Example","year":"2002","author":"beck","key":"ref20"},{"key":"ref22","article-title":"Small-footprint keyword spotting using deep neural network and connectionist temporal classifier","volume":"abs 1709 3665","author":"wang","year":"2017","journal-title":"CoRR"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2602204.2602219"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2017.7997431"}],"event":{"name":"2018 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)","start":{"date-parts":[[2018,11,27]]},"location":"Verona, Italy","end":{"date-parts":[[2018,11,29]]}},"container-title":["2018 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8718886\/8725609\/08725754.pdf?arnumber=8725754","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T18:49:27Z","timestamp":1561488567000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8725754\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/nfv-sdn.2018.8725754","relation":{},"subject":[],"published":{"date-parts":[[2018,11]]}}}