{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T07:49:27Z","timestamp":1673682567974},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/ACM Trans. Networking"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/tnet.2011.2165851","type":"journal-article","created":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T15:11:00Z","timestamp":1316790660000},"page":"770-783","source":"Crossref","is-referenced-by-count":11,"title":["Declarative Policy-Based Adaptive Mobile Ad Hoc Networking"],"prefix":"10.1109","volume":"20","author":[{"given":"Changbin","family":"Liu","sequence":"first","affiliation":[]},{"given":"Ricardo","family":"Correa","sequence":"additional","affiliation":[]},{"given":"Xiaozhou","family":"Li","sequence":"additional","affiliation":[]},{"given":"Prithwish","family":"Basu","sequence":"additional","affiliation":[]},{"given":"Boon Thau","family":"Loo","sequence":"additional","affiliation":[]},{"given":"Yun","family":"Mao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","author":"vahdat","year":"2000","journal-title":"Epidemic routing for partially-connected ad hoc networks"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/605991.606003"},{"key":"ref31","first-page":"189","article-title":"BFT protocols under fire","author":"singh","year":"2008","journal-title":"Proc NSDI"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/501417.501420"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807234"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ISWCS.2007.4392415"},{"key":"ref34","first-page":"61","article-title":"Towards declarative network verification","author":"wang","year":"2009","journal-title":"Proc 11th PADL"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICUPC.1997.627227"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/49.779923"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-585-29603-6_5"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/354871.354874"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/961268.961272"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2009.5339669"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1921151.1921164"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1397718.1397733"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095818"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1544012.1544017"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/778445.778450"},{"key":"ref4","year":"2009","journal-title":"RapidNet"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1247694.1247707"},{"key":"ref3","year":"0","journal-title":"P2 Declarative Networking"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/1090191.1080126","article-title":"Declarative routing: Extensible routing with declarative queries","author":"loo","year":"2005","journal-title":"Proc ACM Sigcomm"},{"key":"ref29","year":"2011","journal-title":"CIS 553 Networked systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755937"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1322263.1322281"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1403007.1403022"},{"key":"ref2","year":"0","journal-title":"ORBIT - Wireless Network Testbed"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.17487\/rfc3626"},{"key":"ref1","year":"0","journal-title":"Network Simulator 3"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1614293.1614295"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2003476.2003495"},{"key":"ref21","first-page":"89","article-title":"Declarative toolkit for rapid network protocol simulation and experimentation","author":"muthukumar","year":"2009","journal-title":"Proc ACM Sigcomm"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MCSA.1999.749281"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1162654.1162659"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)00039-9"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM.2007.4454942"}],"container-title":["IEEE\/ACM Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/90\/6216496\/06021354.pdf?arnumber=6021354","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:47:10Z","timestamp":1633909630000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6021354\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":36,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tnet.2011.2165851","relation":{},"ISSN":["1063-6692","1558-2566"],"issn-type":[{"value":"1063-6692","type":"print"},{"value":"1558-2566","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6]]}}}