{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,4]],"date-time":"2024-06-04T04:32:54Z","timestamp":1717475574769},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,4,29]],"date-time":"2012-04-29T00:00:00Z","timestamp":1335657600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Pers Ubiquit Comput"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s00779-012-0536-z","type":"journal-article","created":{"date-parts":[[2012,4,28]],"date-time":"2012-04-28T03:50:51Z","timestamp":1335585051000},"page":"851-864","source":"Crossref","is-referenced-by-count":8,"title":["An algorithm on fairness verification of mobile sink routing in wireless sensor network"],"prefix":"10.1007","volume":"17","author":[{"given":"Guangquan","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weisheng","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rui","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yingyuan","family":"Xiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Honghao","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaohong","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiyong","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jia","family":"Mei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,4,29]]},"reference":[{"issue":"1","key":"536_CR1","first-page":"40","volume":"1","author":"X Zhao","year":"2007","unstructured":"Zhao X, Makki SK, Pissinou N (2007) Self-adaptable routing scheme for in-network processing. Int J Smart Home 1(1):40\u201348","journal-title":"Int J Smart Home"},{"key":"536_CR2","doi-asserted-by":"crossref","unstructured":"Ye F, Luo H, Cheng J, Lu S, Zhang L (2002) A two-tier data dissemination model for large-scale wireless sensor networks. In: Proceedings of ACM\/IEEE MOBICOM, MOBICOM\u201902","DOI":"10.1145\/570645.570664"},{"key":"536_CR3","doi-asserted-by":"crossref","unstructured":"Lee J, Hwang M, Park S, Jang H, Kim B (2007) A routing scheme of mobile sink in sensor networks, computational science and its applications\u2014ICCSA 2007. Lecture notes in computer science 4706\/2007, pp 751\u2013763. doi: 10.1007\/978-3-540-74477-1_68","DOI":"10.1007\/978-3-540-74477-1_68"},{"key":"536_CR4","doi-asserted-by":"crossref","unstructured":"Chang SH, Merabti M, Mokhtar HM (2007) Coordinate magnetic routing for mobile sinks wireless sensor networks. In: 21st international conference on advanced information networking and applications workshops (AINAW\u201907), vol 1, pp 846\u2013851","DOI":"10.1109\/AINAW.2007.134"},{"key":"536_CR5","doi-asserted-by":"crossref","unstructured":"Wang G, Wang T, Jia W, Guo M, Chen HH, Guizani M (2007) Local update-based routing protocol in wireless sensor networks with mobile sinks. IEEE international conference on communications, ICC \u201807, pp 3094\u20133099","DOI":"10.1109\/ICC.2007.514"},{"issue":"4","key":"536_CR6","first-page":"1090","volume":"56","author":"JW Kim","year":"2010","unstructured":"Kim JW, In JS, Hur K, Kim JW, Eom DS (2010) An intelligent agent-based routing structure for mobile sinks in WSNs. IEEE Trans Consum Electron 56(4):1090\u20131097","journal-title":"IEEE Trans Consum Electron"},{"issue":"2","key":"536_CR7","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1504\/IJITCC.2011.039281","volume":"1","author":"D Kumar","year":"2011","unstructured":"Kumar D, Aseri TC, Patel RB (2011) Multi-hop communication routing (MCR) protocol for heterogeneous wireless sensor networks. IJITCC 1(2):130\u2013145. doi: 10.1504\/IJITCC.2011.039281","journal-title":"IJITCC"},{"key":"536_CR8","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/s11042-009-0410-9","volume":"47","author":"S Misra","year":"2010","unstructured":"Misra S, Mohanta D (2010) Adaptive listen for energy-efficient medium access control in wireless sensor networks. Multimed Tools Appl 47:121\u2013145","journal-title":"Multimed Tools Appl"},{"key":"536_CR9","unstructured":"Fonda WJ (2008) Energy efficient wireless sensor network protocols for monitoring and prognostics of large scale systems. PhD Dissertation, University of Missouri-Rolla"},{"key":"536_CR10","doi-asserted-by":"crossref","unstructured":"Sridharan A, Krishnamachari B (2007) Maximizing network utilization with max-min fairness in wireless sensor networks. In: Proceedings of the 5th international symposium on modeling and optimization in mobile, ad hoc and wireless networks and workshops, WiOpt 2007, pp 1\u20139","DOI":"10.1109\/WIOPT.2007.4480030"},{"key":"536_CR11","doi-asserted-by":"crossref","unstructured":"Brahma S, Chatterjee M, Kevin AK (2010) Congestion control and fairness in wireless sensor networks. In: Proceedings of PerCom workshops\u20192010, pp 413\u2013418","DOI":"10.1109\/PERCOMW.2010.5470632"},{"key":"536_CR12","doi-asserted-by":"crossref","unstructured":"Han B, Simon G (2007) Fair capacity sharing among multiple sinks in wireless sensor networks. In: Proceedings of the IEEE MASS conference, pp 1\u20139","DOI":"10.1109\/MOBHOC.2007.4428641"},{"key":"536_CR13","doi-asserted-by":"crossref","unstructured":"Chen S, Zhang Z (2006) Localized algorithm for aggregate fairness in wireless sensor networks, MobiCom\u201906, Los Angeles, California, USA, pp 274\u2013285","DOI":"10.1145\/1161089.1161121"},{"key":"536_CR14","unstructured":"Ee CT, Bajcsy R (2004) Congestion control and fairness for many-to-one routing in sensor networks. In SenSys \u201804: Proceedings of the 2nd international conference on embedded networked sensor systems, ACM, New York, pp 148\u2013161"},{"issue":"1","key":"536_CR15","first-page":"1","volume":"2","author":"S Malakuti","year":"2011","unstructured":"Malakuti S, Aksit M, Bockisch C (2011) Runtime verification in distributed computing. JoC 2(1):1\u201310","journal-title":"JoC"},{"issue":"7","key":"536_CR16","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1007\/s00779-009-0225-8","volume":"13","author":"Y Kim","year":"2009","unstructured":"Kim Y, Jeong S, Kim D, L\u00f3pez TS (2009) An efficient scheme of target classification and information fusion in wireless sensor networks. Pers Ubiquit Comput 13(7):499\u2013508","journal-title":"Pers Ubiquit Comput"},{"key":"536_CR17","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/978-3-540-24756-2_8","volume":"2004","author":"S Chaki","year":"2004","unstructured":"Chaki S, Clarke EM, Ouaknine J, Sharygina N (2004) State\/event-based software model checking. Integr Formal Methods 2004:128\u2013147","journal-title":"Integr Formal Methods"},{"issue":"2","key":"536_CR18","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1504\/IJITCC.2011.039285","volume":"1","author":"T Reinbacher","year":"2011","unstructured":"Reinbacher T, Horauer M, Schlich B, Brauer J, Scheuer F (2011) Model checking embedded software of an industrial knitting machine. IJITCC 1(2):186\u2013205","journal-title":"IJITCC"},{"issue":"1","key":"536_CR19","first-page":"23","volume":"2","author":"P Sarkar","year":"2011","unstructured":"Sarkar P, Saha A (2011) Security enhanced communication in wireless sensor networks using reed-muller codes and partially balanced incomplete block designs. JoC 2(1):23\u201330","journal-title":"JoC"},{"issue":"1","key":"536_CR20","doi-asserted-by":"crossref","first-page":"15","DOI":"10.5176\/2010-2283_1.1.16","volume":"1","author":"C Huang","year":"2010","unstructured":"Huang C, Cheng RH, Chen SR, Li CI (2010) Enhancing network availability by tolerance control in multi-sink wireless sensor networks. JoC 1(1):15\u201322","journal-title":"JoC"},{"issue":"1","key":"536_CR21","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1504\/IJITCC.2010.035224","volume":"1","author":"B Xie","year":"2010","unstructured":"Xie B, Kumar A, Zhao D, Reddy R, He B (2010) On secure communication in integrated heterogeneous wireless networks. IJITCC 1(1):4\u201323. doi: 10.1504\/IJITCC.2010.035224","journal-title":"IJITCC"},{"key":"536_CR22","doi-asserted-by":"crossref","unstructured":"Cheikhrouhou O, Koub\u00e2a A, Dini G and Abid M (2011) RiSeG: a ring based secure group communication protocol for resource-constrained wireless sensor networks. Pers Ubiquit Comput 15:783\u2013797. doi: 10.1007\/s00779-011-0365-5","DOI":"10.1007\/s00779-011-0365-5"},{"issue":"2","key":"536_CR23","doi-asserted-by":"crossref","first-page":"363","DOI":"10.3745\/JIPS.2011.7.2.363","volume":"7","author":"R Malhotra","year":"2011","unstructured":"Malhotra R, Garg M (2011) An adequacy based test data generation technique using genetic algorithms. J Inf Process Syst 7(2):363\u2013384","journal-title":"J Inf Process Syst"},{"issue":"3","key":"536_CR24","doi-asserted-by":"crossref","first-page":"473","DOI":"10.3745\/JIPS.2011.7.3.473","volume":"7","author":"JS Challa","year":"2011","unstructured":"Challa JS, Paul A, Dada Y, Nerella V, Srivastava PR, Singh AP (2011) Integrated software quality evaluation: a fuzzy multi-criteria approach. J Inf Process Syst 7(3):473\u2013518","journal-title":"J Inf Process Syst"},{"issue":"1","key":"536_CR25","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/s10703-006-4342-y","volume":"28","author":"Y Kesten","year":"2006","unstructured":"Kesten Y, Pnueli A, Raviv L, Shahar E (2006) Model checking with strong fairness. Formal Methods Syst Des 28(1):57\u201384","journal-title":"Formal Methods Syst Des"},{"key":"536_CR26","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF00265555","volume":"19","author":"J Queille","year":"1983","unstructured":"Queille J, Sifakis J (1983) Fairness and related properties in transition systems-a temporal logic to deal with fairness. Acta Inform 19:195\u2013220","journal-title":"Acta Inform"},{"issue":"7","key":"536_CR27","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/0950-5849(89)90159-6","volume":"31","author":"MZ Kwiatkowska","year":"1989","unstructured":"Kwiatkowska MZ (1989) Survey of fairness notions. Inf Softw Technol 31(7):371\u2013386","journal-title":"Inf Softw Technol"},{"key":"536_CR28","volume-title":"Fairness","author":"N Francez","year":"1988","unstructured":"Francez N (1988) Fairness. Springer, New York"},{"key":"536_CR29","doi-asserted-by":"crossref","unstructured":"Lehmann DJ, Pnueli A, Stavi J (1981) Impartiality, justice and fairness: the ethics of concurrent termination. In Proceedings of ICALP 1981, pp 264\u2013277","DOI":"10.1007\/3-540-10843-2_22"},{"key":"536_CR30","unstructured":"Larsen KG, Thomsen B (1988) A modal process logic. In: Third annual symposium on logic in computer science. IEEE Computer Society Press, pp 203\u2013210"},{"key":"536_CR31","unstructured":"Holzmann GJ (2003) The SPIN model checker: primer and reference manual. Addison Wesley, Reading"},{"key":"536_CR32","unstructured":"Henzinger MR, Telle JA (1996) Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. In: Proceedings of SWAT 1996, pp 16\u201327"},{"issue":"1-4","key":"536_CR33","doi-asserted-by":"crossref","first-page":"175","DOI":"10.3233\/FI-2000-43123409","volume":"43","author":"T Latvala","year":"2000","unstructured":"Latvala T, Heljanko K (2000) Coping with strong fairness. Fundamenta Informaticae 43(1-4):175\u2013193","journal-title":"Fundamenta Informaticae"},{"key":"536_CR34","doi-asserted-by":"crossref","unstructured":"Biere A, Cimatti A, Clarke EM, Strichman O, Zhu YS (2003) Bounded model checking. Advances in computers, vol 58. Academic Press, London","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"536_CR35","doi-asserted-by":"crossref","unstructured":"Schwoon S, Esparza J (2005) A note on on-the-fly verification algorithms. In: Tools and algorithms for the construction and analysis of systems (TACAS.05). Lecture notes in computer science, vol 3440, pp 174\u2013190","DOI":"10.1007\/978-3-540-31980-1_12"},{"key":"536_CR36","doi-asserted-by":"crossref","unstructured":"Clarke EM, Gupta A, Kukula J, Strichman O (2002) SAT based abstraction-refinement using ILP and machine learning techniques. In: Proceedings of 14th international conference on computer aided verification (CAV\u201902), vol 2404. Lecture notes in computer science, pp 265\u2013279","DOI":"10.1007\/3-540-45657-0_20"},{"key":"536_CR37","doi-asserted-by":"crossref","unstructured":"McMillan KL (1993) Symbolic model checking. Kluwer, Dordrecht, pp 369","DOI":"10.1007\/978-1-4615-3190-6"}],"container-title":["Personal and Ubiquitous Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00779-012-0536-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00779-012-0536-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00779-012-0536-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,6]],"date-time":"2020-07-06T21:05:57Z","timestamp":1594069557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00779-012-0536-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,29]]},"references-count":37,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["536"],"URL":"https:\/\/doi.org\/10.1007\/s00779-012-0536-z","relation":{},"ISSN":["1617-4909","1617-4917"],"issn-type":[{"value":"1617-4909","type":"print"},{"value":"1617-4917","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,4,29]]}}}