{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:22:15Z","timestamp":1745986935929,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642367809"},{"type":"electronic","value":"9783642367816"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36781-6_12","type":"book-chapter","created":{"date-parts":[[2013,2,7]],"date-time":"2013-02-07T05:08:21Z","timestamp":1360213701000},"page":"172-187","source":"Crossref","is-referenced-by-count":1,"title":["PCTMC Models of Wireless Sensor Network Protocols"],"prefix":"10.1007","author":[{"given":"Marcel C.","family":"Guenther","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy T.","family":"Bradley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Viani, F., Oliveri, G., Donelli, M., Lizzi, L., Rocca, P., Massa, A.: WSN-based Solutions for Security and Surveillance. Computer, 1762\u20131765 (September 2010)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Al-Fares, M.S., Sun, Z.: Self-Organizing Routing Protocol to achieve QoS in Wireless Sensor Network for Forest Fire Monitoring. Systems Research, 211\u2013216 (2009)","DOI":"10.1109\/MICC.2009.5431498"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Xu, N., Rangwala, S., Chintalapudi, K.K., Ganesan, D., Broad, A., Govindan, R., Estrin, D.: A wireless sensor network For structural monitoring. In: Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems SenSys 2004, vol.\u00a020(7), pp. 13\u201324 (2004)","DOI":"10.1145\/1031495.1031498"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Akhondi, M.R., Talevski, A., Carlsen, S., Petersen, S.: Applications of Wireless Sensor Networks in the Oil, Gas and Resources Industries. In: 2010 24th IEEE International Conference on Advanced Information Networking and Applications, pp. 941\u2013948 (2010)","DOI":"10.1109\/AINA.2010.18"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-17520-6_2","volume-title":"Real-World Wireless Sensor Networks","author":"R. Bagree","year":"2010","unstructured":"Bagree, R., Jain, V.R., Kumar, A., Ranjan, P.: TigerCENSE: Wireless Image Sensor Network to Monitor Tiger Movement. In: Marron, P.J., Voigt, T., Corke, P., Mottola, L. (eds.) REALWSN 2010. LNCS, vol.\u00a06511, pp. 13\u201324. Springer, Heidelberg (2010)"},{"issue":"2","key":"12_CR6","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1049\/iet-com:20070046","volume":"2","author":"J. Micallef","year":"2008","unstructured":"Micallef, J., Grech, I., Brincat, A., Traver, V., Monto, E.: Body area network for wireless patient monitoring. IET Communications\u00a02(2), 215\u2013222 (2008)","journal-title":"IET Communications"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Boulis, A.: Castalia: revealing pitfalls in designing distributed algorithms in WSN. In: Jha, S. (ed.) Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, pp. 407\u2013408. ACM (2007)","DOI":"10.1145\/1322263.1322318"},{"key":"12_CR8","unstructured":"Ns, The Network Simulator - ns-2 (2002)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Levis, P., Lee, N.: TOSSIM: A Simulator for TinyOS Networks, UC Berkeley, pp. 1\u201317 (September 2003)","DOI":"10.1145\/958491.958506"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Bergamini, L., Crociani, C., Vitaletti, A., Nati, M.: Validation of WSN simulators through a comparison with a real testbed. In: Proceedings of the 7th ACM Workshop on Performance Evaluation of Wireless Ad Hoc Sensor and Ubiquitous Networks, pp. 103\u2013104. ACM (2010)","DOI":"10.1145\/1868589.1868611"},{"issue":"7","key":"12_CR11","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MCOM.2006.1668384","volume":"44","author":"E. Egea-Lopez","year":"2006","unstructured":"Egea-Lopez, E., Vales-Alonso, J., Martinez-Sala, A., Pavon-Mario, P., Garcia-Haro, J.: Simulation Scalability Issues in Wireless Sensor Networks. IEEE Communications Magazine\u00a044(7), 64\u201373 (2006)","journal-title":"IEEE Communications Magazine"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Opper, M., Saad, D.: Advanced Mean Field Methods: Theory and Practice. MIT Press (2001)","DOI":"10.7551\/mitpress\/1100.001.0001"},{"key":"12_CR13","unstructured":"Van Kampen, N.G.: Stochastic Processes in Physics and Chemistry. North-Holland personal library, vol.\u00a011. North-Holland (1992)"},{"issue":"33-34","key":"12_CR14","doi-asserted-by":"publisher","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F. Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. Theoretical Computer Science\u00a0410(33-34), 3065\u20133084 (2009)","journal-title":"Theoretical Computer Science"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Second International Conference on the Quantitative Evaluation of Systems, QEST 2005, pp. 33\u201342 (2005)","DOI":"10.1109\/QEST.2005.12"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Hayden, R.A.: Mean-field approximations for performance models with generally-timed transitions. Accepted for publication in ACM SIGMETRICS Performance Evaluation Review (2011)","DOI":"10.1145\/2160803.2160877"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Gribaudo, M., Cerotti, D., Bobbio, A.: Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents. In: 6th IEEE International Conference on Pervasive Computing and Communications, PerCom 2008, pp. 300\u2013305 (2008)","DOI":"10.1109\/PERCOM.2008.100"},{"issue":"3-4","key":"12_CR18","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.peva.2010.11.007","volume":"69","author":"D. Bruneo","year":"2012","unstructured":"Bruneo, D., Scarpa, M., Bobbio, A., Cerotti, D., Gribaudo, M.: Markovian agent modeling swarm intelligence algorithms in wireless sensor networks. Performance Evaluation\u00a069(3-4), 135\u2013149 (2012)","journal-title":"Performance Evaluation"},{"key":"12_CR19","unstructured":"F\u00f6rster, A., Murphy, A.L.: A Critical Survey and Guide to Evaluating WSN Routing Protocols. In: The First International Workshop on Networks of Cooperating Objects (CONET), Stockholm (2010)"},{"issue":"1","key":"12_CR20","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/TII.2010.2085440","volume":"7","author":"G. Anastasi","year":"2011","unstructured":"Anastasi, G., Conti, M., Francesco, M.D.: A Comprehensive Analysis of the MAC Unreliability Problem in IEEE 802. 15. 4 Wireless Sensor Networks. IEEE Transactions on Industrial Informatics\u00a07(1), 52\u201365 (2011)","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"12_CR21","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1145\/2185677.2185730","volume-title":"Proceedings of the 11th International Conference on Information Processing in Sensor Networks - IPSN 2012","author":"M. Zimmerling","year":"2012","unstructured":"Zimmerling, M., Ferrari, F., Mottola, L., Voigt, T., Thiele, L.: pTunes: Runtime Parameter Adaptation for Low-power MAC Protocols. In: Proceedings of the 11th International Conference on Information Processing in Sensor Networks - IPSN 2012, p. 173. ACM Press, New York (2012)"},{"key":"12_CR22","unstructured":"Crossbow: Crossbow datasheet on MicaZ (2006)"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Sohrabi, K., Manriquez, B., Pottie, G.J.: Near ground wideband channel measurement in 800-1000 MHz. In: 1999 IEEE 49th Vehicular Technology Conference Cat No99CH36363, vol.\u00a01(3), pp. 571\u2013574 (1999)","DOI":"10.1109\/VETEC.1999.778120"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Van Dam, T., Langendoen, K.: An adaptive energy-efficient MAC protocol for wireless sensor networks. In: Akyildiz, I.F., Estrin, D., Culler, D.E., Srivastava, M.B. (eds.) Proceedings of the First International Conference on Embedded Networked Sensor Systems, SenSys 2003, vol.\u00a003, p. 171. ACM Press (2003)","DOI":"10.1145\/958491.958512"},{"issue":"12","key":"12_CR25","doi-asserted-by":"publisher","first-page":"2292","DOI":"10.1016\/j.comnet.2008.04.002","volume":"52","author":"J. Yick","year":"2008","unstructured":"Yick, J., Mukherjee, B., Ghosal, D.: Wireless sensor network survey. Computer Networks\u00a052(12), 2292\u20132330 (2008)","journal-title":"Computer Networks"},{"key":"12_CR26","unstructured":"Yadav, P.: Cross-Layer Protocols to Support Periodic Data Collection and Event Driven Wireless Sensor Network Applications. Phd thesis, Imperial College (2011)"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Paone, M., Paladina, L., Bruneo, D., Puliafito, A.: A Swarm-based Routing Protocol for Wireless Sensor Networks. In: Sixth IEEE International Symposium on Network Computing and Applications, NCA 2007, vol. 3(Nca), pp. 265\u2013268 (2007)","DOI":"10.1109\/NCA.2007.2"},{"issue":"2","key":"12_CR28","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1109\/SURV.2010.020510.00058","volume":"12","author":"A. Bachir","year":"2010","unstructured":"Bachir, A., Dohler, M., Watteyne, T., Leung, K.K.: MAC Essentials for Wireless Sensor Networks. IEEE Communications Surveys Tutorials\u00a012(2), 222\u2013248 (2010)","journal-title":"IEEE Communications Surveys Tutorials"},{"issue":"4","key":"12_CR29","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/643550.643556","volume":"6","author":"K. R\u00f6mer","year":"2002","unstructured":"R\u00f6mer, K., Kasten, O., Mattern, F.: Middleware challenges for wireless sensor networks. ACM SIGMOBILE Mobile Computing and Communications Review\u00a06(4), 59\u201361 (2002)","journal-title":"ACM SIGMOBILE Mobile Computing and Communications Review"},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"Chatzigiannakis, I., Mylonas, G., Nikoletseas, S.: 50 ways to build your application: A survey of middleware and systems for Wireless Sensor Networks. In: 2007 IEEE Conference on Emerging Technologies Factory Automation, EFTA 2007, pp. 466\u2013473 (2007)","DOI":"10.1109\/EFTA.2007.4416805"},{"key":"12_CR31","unstructured":"Tong, S.: An Evaluation Framework for middleware approaches on Wireless Sensor Networks. Tech. Rep., Helsinki University of Technology, Helsinki (2007)"},{"issue":"3","key":"12_CR32","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s11390-008-9135-x","volume":"23","author":"M.-M. Wang","year":"2008","unstructured":"Wang, M.-M., Cao, J.-N., Li, J., Dasi, S.K.: Middleware for Wireless Sensor Networks: A Survey. Journal of Computer Science and Technology\u00a023(3), 305\u2013326 (2008)","journal-title":"Journal of Computer Science and Technology"},{"key":"12_CR33","doi-asserted-by":"crossref","unstructured":"Liu, T., Martonosi, M.: Impala: a middleware system for managing autonomic, parallel sensor systems. In: System, PPoPP 2003, vol.\u00a038, pp. 107\u2013118. ACM (2003)","DOI":"10.1145\/966049.781516"},{"key":"12_CR34","doi-asserted-by":"crossref","unstructured":"Buckl, C., Sommer, S., Scholz, A., Knoll, A., Kemper, A.: Generating a Tailored Middleware for Wireless Sensor Network Applications. In: IEEE International Conference on Sensor Networks Ubiquitous and Trustworthy Computing, SUTC 2008, pp. 162\u2013169 (2008)","DOI":"10.1109\/SUTC.2008.57"},{"issue":"25","key":"12_CR35","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"issue":"1","key":"12_CR36","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1146\/annurev.es.09.110178.001201","volume":"9","author":"P.J. Wangersky","year":"1978","unstructured":"Wangersky, P.J.: Lotka-Volterra population models. Annual Review of Ecology and Systematics\u00a09(1), 189\u2013218 (1978)","journal-title":"Annual Review of Ecology and Systematics"},{"key":"12_CR37","doi-asserted-by":"crossref","unstructured":"Stefanek, A., Hayden, R.A., Bradley, J.T.: Fluid computation of the performance-energy trade-off in large scale Markov models. Accepted for Publication in ACM SIGMETRICS Performance Evaluation Review (2011)","DOI":"10.1145\/2160803.2160872"},{"issue":"11-12","key":"12_CR38","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1016\/j.peva.2008.03.005","volume":"65","author":"M. Benaim","year":"2008","unstructured":"Benaim, M., Le Boudec, J.: A class of mean field interaction models for computer and communication systems. Performance Evaluation\u00a065(11-12), 823\u2013838 (2008)","journal-title":"Performance Evaluation"},{"key":"12_CR39","unstructured":"Stefanek, A., Guenther, M.C., Bradley, J.T.: Normal and inhomogeneous moment closures for stochastic process algebras. In: 10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2011), Ragusa (2011)"},{"key":"12_CR40","unstructured":"Galpin, V.: Towards a spatial stochastic process algebra. In: Proceedings of the 7th Workshop on Process Algebra and Stochastically Timed Activities, PASTA, Edinburgh (2008)"},{"key":"12_CR41","doi-asserted-by":"crossref","unstructured":"Liu, A.-F., Ma, M., Chen, Z.-G., Gui, W.-H.: Energy-Hole Avoidance Routing Algorithm for WSN. In: Fourth International Conference on Natural Computation, ICNC 2008, vol.\u00a01, pp. 76\u201380 (2008)","DOI":"10.1109\/ICNC.2008.911"},{"key":"12_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2010\/601892","volume":"2010","author":"G.P. Halkes","year":"2010","unstructured":"Halkes, G.P., Langendoen, K.G.: Experimental Evaluation of Simulation Abstractions for Wireless Sensor Network MAC Protocols. EURASIP Journal on Wireless Communications and Networking\u00a02010, 1\u201310 (2010)","journal-title":"EURASIP Journal on Wireless Communications and Networking"},{"key":"12_CR43","doi-asserted-by":"crossref","unstructured":"Perla, E., Cath\u00e1in, A.O., Carbajo, R.S., Huggard, M., Mc Goldrick, C.: PowerTOSSIM z: Realistic Energy Modelling for Wireless Sensor Network Environments. In: Proceedings of the 3rd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, pp. 35\u201342. ACM (2008)","DOI":"10.1145\/1454630.1454636"},{"issue":"6","key":"12_CR44","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1049\/iet-sen.2009.0001","volume":"3","author":"M.R. Jongerden","year":"2009","unstructured":"Jongerden, M.R., Haverkort, B.R.: Which battery model to use? IET Software\u00a03(6), 445 (2009)","journal-title":"IET Software"},{"key":"12_CR45","doi-asserted-by":"crossref","unstructured":"Chaintreau, A., Le Boudec, J.Y., Ristanovic, N.: The age of gossip: spatial mean field regime. Evolution, 109\u2013120 (2009)","DOI":"10.1145\/1555349.1555363"},{"key":"12_CR46","doi-asserted-by":"crossref","unstructured":"Caravagna, G., Hillston, J.: Modeling biological systems with delays in Bio-PEPA. In: Electronic Proceedings in Theoretical Computer Science, MeCBIC, vol.\u00a040, pp. 85\u2013101 (2010)","DOI":"10.4204\/EPTCS.40.7"},{"key":"12_CR47","doi-asserted-by":"crossref","unstructured":"Guenther, M.C., Bradley, J.T.: Mean-field analysis of data flows in Wireless Sensor Networks. Submitted to VALUETOOLS (2012), http:\/\/www.doc.ic.ac.uk\/~mcg05\/wsnrouting","DOI":"10.1145\/2479871.2479882"},{"key":"12_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-04081-8_21","volume-title":"CONCUR 2009 - Concurrency Theory","author":"V. Galpin","year":"2009","unstructured":"Galpin, V., Bortolussi, L., Hillston, J.: HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 305\u2013320. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36781-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T20:11:55Z","timestamp":1745957515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36781-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642367809","9783642367816"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36781-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}