{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:12:43Z","timestamp":1725585163859},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642217128"},{"type":"electronic","value":"9783642217135"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21713-5_23","type":"book-chapter","created":{"date-parts":[[2011,6,11]],"date-time":"2011-06-11T05:22:45Z","timestamp":1307769765000},"page":"316-330","source":"Crossref","is-referenced-by-count":12,"title":["A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks"],"prefix":"10.1007","author":[{"given":"Lucia","family":"Gallina","sequence":"first","affiliation":[]},{"given":"Sardaouna","family":"Hamadou","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Marin","sequence":"additional","affiliation":[]},{"given":"Sabina","family":"Rossi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"23_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0304-3975(01)00090-1","volume":"290","author":"M. Bernardo","year":"2003","unstructured":"Bernardo, M., Bravetti, M.: Performance measure sensitive congruences for markovian process algebras. Theoretical Computer Science\u00a0290(1), 117\u2013160 (2003)","journal-title":"Theoretical Computer Science"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Gallina, L., Hamadou, S., Marin, A., Rossi.S.: A probabilistic energy-aware model for mobile ad-hoc networks. Research Report DAIS-2011-3, Department of Computer Science. University Ca\u2019 Foscari of Venice (2011)","DOI":"10.1007\/978-3-642-21713-5_23"},{"key":"23_CR3","volume-title":"Proc. of IFIP Wireless Days 2010","author":"L. Gallina","year":"2010","unstructured":"Gallina, L., Rossi, S.: Sender- and receiver-centered interference in wireless ad hoc networks. In: Proc. of IFIP Wireless Days 2010. IEEE Computer Society Press, Los Alamitos (2010)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-76637-7_12","volume-title":"Programming Languages and Systems","author":"J. Goubault-Larrecq","year":"2007","unstructured":"Goubault-Larrecq, J., Palamidessi, C., Troina, A.: A probabilistic applied pi\u2013calculus. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol.\u00a04807, pp. 175\u2013190. Springer, Heidelberg (2007)"},{"key":"23_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"issue":"9","key":"23_CR6","doi-asserted-by":"publisher","first-page":"3418","DOI":"10.1109\/TWC.2007.06020038","volume":"6","author":"L.B. Le","year":"2007","unstructured":"Le, L.B., Hossain, E., Zorzi, M.: Queueing analysis for gbn and sr arq protocols under dynamic radio link adaptation with non-zero feedback delay. IEEE Transactions on Wireless Communications\u00a06(9), 3418\u20133428 (2007)","journal-title":"IEEE Transactions on Wireless Communications"},{"issue":"7","key":"23_CR7","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic\u03c0-calculus. The Computer Journal\u00a038(7), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/3-540-55719-9_114","volume-title":"Proc. of International Colloquium on Automata, Languages and Programming (ICAL1992)","author":"R. Milner","year":"1992","unstructured":"Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 685\u2013695. Springer, Heidelberg (1992)"},{"key":"23_CR9","volume-title":"Stochastic Processes","author":"S.M. Ross","year":"1996","unstructured":"Ross, S.M.: Stochastic Processes, 2nd edn. John Wiley & Sons, Chichester (1996)","edition":"2"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/978-3-540-48654-1_35","volume-title":"Proc. of the 5th International Conference on Concurrency Theory (CONCUR 1994)","author":"R. Segala","year":"1994","unstructured":"Segala, R., Lynch, N.A.: Probabilistic simulations for probabilistic processes. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol.\u00a0836, pp. 481\u2013496. Springer, Heidelberg (1994)"},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/288235.288286","volume-title":"Proc. of the 4th annual ACM\/IEEE International Conference on Mobile Computing and Networking (MobiCom 1998)","author":"S. Singh","year":"1998","unstructured":"Singh, S., Woo, M., Raghavendra, C.S.: Power-aware routing in mobile ad hoc networks. In: Proc. of the 4th annual ACM\/IEEE International Conference on Mobile Computing and Networking (MobiCom 1998), pp. 181\u2013190. ACM Press, New York (1998)"},{"key":"23_CR12","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-642-15240-5_7","volume-title":"Theoretical Computer Science","author":"L. Song","year":"2010","unstructured":"Song, L., Godskesen, J.C.: Probabilistic mobility models for mobile and wireless networks. In: Calude, C.S., Sassone, V. (eds.) TCS 2010. IFIP Advances in Information and Communication Technology, vol.\u00a0323, pp. 86\u2013100. Springer, Heidelberg (2010)"},{"issue":"3","key":"23_CR13","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/12.580424","volume":"46","author":"M. Zorzi","year":"1997","unstructured":"Zorzi, M., Rao, R.R.: Error control and energy consumption in communications for nomadic computing. IEEE Transactions on Computers\u00a046(3), 279\u2013289 (1997)","journal-title":"IEEE Transactions on Computers"}],"container-title":["Lecture Notes in Computer Science","Analytical and Stochastic Modeling Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21713-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T16:57:21Z","timestamp":1560272241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21713-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642217128","9783642217135"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21713-5_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}