{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:40:09Z","timestamp":1740102009980,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642121036"},{"type":"electronic","value":"9783642121043"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12104-3_10","type":"book-chapter","created":{"date-parts":[[2010,5,20]],"date-time":"2010-05-20T13:00:35Z","timestamp":1274360435000},"page":"107-119","source":"Crossref","is-referenced-by-count":4,"title":["Analyzing Energy Consumption in a Gossiping MAC Protocol"],"prefix":"10.1007","author":[{"given":"Haidi","family":"Yue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"Bohnenkamp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"10_CR1","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/MC.2006.242","volume":"39","author":"T.R. Andel","year":"2006","unstructured":"Andel, T.R., Yasinac, A.: On the credibility of MANET simulations. IEEE Computer\u00a039(7), 48\u201354 (2006)","journal-title":"IEEE Computer"},{"unstructured":"Anemaet, P.A.M.: Distributed G-MAC. Master\u2019s thesis, Delft University of Technology (2008)","key":"10_CR2"},{"issue":"10","key":"10_CR3","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/TSE.2006.104","volume":"32","author":"H. Bohnenkamp","year":"2006","unstructured":"Bohnenkamp, H., D\u2019Argenio, P.R., Hermanns, H., Katoen, J.-P.: Modest: A compositional modeling formalism for real-time and stochastic systems. IEEE Trans. on Software Engineering\u00a032(10), 812\u2013830 (2006)","journal-title":"IEEE Trans. on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Bohnenkamp, H., Gorter, J., Guidi, J., Katoen, J.-P.: Are you still there? \u2014 A lightweight algorithm to monitor node presence in self-configuring networks. In: Dependable Systems & Networks (DSN), pp. 704\u2013709 (2005)","key":"10_CR4","DOI":"10.1109\/DSN.2005.20"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1007\/978-3-540-71209-1_38","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Bohnenkamp","year":"2007","unstructured":"Bohnenkamp, H., Hermanns, H., Katoen, J.-P.: Motor: The MoDeST tool environment. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 500\u2013504. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Cavin, D., Sasson, Y., Schiper, A.: On the accuracy of MANET simulators. In: ACM Workshop On Principles Of Mobile Computing (POMC), pp. 38\u201343 (2002)","key":"10_CR6","DOI":"10.1145\/584490.584499"},{"issue":"10","key":"10_CR7","doi-asserted-by":"publisher","first-page":"956","DOI":"10.1109\/TSE.2002.1041052","volume":"28","author":"D.D. Deavours","year":"2002","unstructured":"Deavours, D.D., Clark, G., Courtney, T., Daly, D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.G.: The M\u00f6bius framework and its implementation. IEEE Trans. on Software Engineering\u00a028(10), 956\u2013969 (2002)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-77096-1_13","volume-title":"Principles of Distributed Systems","author":"C. Gross","year":"2007","unstructured":"Gross, C., Hermanns, H., Pulungan, R.: Does clock precision influence ZigBee\u2019s energy consumptions? In: Tovar, E., Tsigas, P., Fouchal, H. (eds.) OPODIS 2007. LNCS, vol.\u00a04878, pp. 174\u2013188. Springer, Heidelberg (2007)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/978-3-642-05089-3_33","volume-title":"FM 2009: Formal Methods","author":"F. Heidarian","year":"2009","unstructured":"Heidarian, F., Schmaltz, J., Vaandrager, F.W.: Analysis of a clock synchronization protocol for wireless sensor networks. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 516\u2013531. Springer, Heidelberg (2009)"},{"issue":"5","key":"10_CR10","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/1317379.1317381","volume":"41","author":"A.-M. Kermarrec","year":"2007","unstructured":"Kermarrec, A.-M., van Steen, M.: Gossiping in distributed systems. ACM SIGOPS Operating System Review\u00a041(5), 2\u20137 (2007)","journal-title":"ACM SIGOPS Operating System Review"},{"doi-asserted-by":"crossref","unstructured":"Meier, A., Rein, T., Beutel, J., Thiele, L.: Coping with unreliable channels: Efficient link estimation for low-power wireless sensor networks. In: Int. Conf. on Networked Sensing Systems (INSS), June 2008, pp. 19\u201326 (2008)","key":"10_CR11","DOI":"10.1109\/INSS.2008.4610885"},{"unstructured":"Rashid, R.A., Embong, W.M.A.E.W., Zaharim, A., Fisal, N.: Development of energy aware tdma-based MAC protocol for wireless sensor network system. European J. of Scientific Research, 571\u2013578 (2009)","key":"10_CR12"},{"unstructured":"Nordic Semiconductors. nRF2401 Single-chip 2.4GHz Transceiver Data Sheet (2002)","key":"10_CR13"},{"doi-asserted-by":"crossref","unstructured":"Song, W., Huang, R., Shirazi, B.: TreeMAC: Localized TDMA MAC protocol for real-time high-data-rate sensor networks. In: IEEE Int. Conf. on Pervasive Computing and Communications (PerCom), pp. 1\u201310 (2009)","key":"10_CR14","DOI":"10.1109\/PERCOM.2009.4912757"},{"unstructured":"van Vessem, I.: WSN gMac protocol specification. Technical report, CHESS B. V., Haarlem, NL. Version 1.1. Patent pending US 12 \/ 215,040 (2008)","key":"10_CR15"},{"doi-asserted-by":"crossref","unstructured":"Xie, M., Wang, X.: An energy-efficient TDMA protocol for clustered wireless sensor networks. In: Computing, Communication, Control, and Management (CCCM), vol.\u00a02, pp. 547\u2013551 (2007)","key":"10_CR16","DOI":"10.1109\/CCCM.2008.97"}],"container-title":["Lecture Notes in Computer Science","Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12104-3_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:59:05Z","timestamp":1740099545000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12104-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642121036","9783642121043"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12104-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}