{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T09:38:55Z","timestamp":1780393135252,"version":"3.54.1"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030028510","type":"print"},{"value":"9783030028527","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-02852-7_1","type":"book-chapter","created":{"date-parts":[[2018,10,17]],"date-time":"2018-10-17T13:41:45Z","timestamp":1539783705000},"page":"5-16","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Networks"],"prefix":"10.1007","author":[{"given":"Sana","family":"Younes","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maroua","family":"Idi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,10,18]]},"reference":[{"issue":"5","key":"1_CR1","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1109\/MCOM.2010.5458370","volume":"48","author":"M Alasti","year":"2010","unstructured":"Alasti, M., Neekzad, B., Hui, J., Vannithamby, R.: Quality of service in WiMAX and LTE networks. IEEE Commun. Mag. 48(5), 104\u2013111 (2010)","journal-title":"IEEE Commun. Mag."},{"issue":"9","key":"1_CR2","first-page":"3631","volume":"41","author":"SA AlQahtani","year":"2016","unstructured":"AlQahtani, S.A.: Delay aware and users categorizing-based call admission control for multi-services LTE-A networks. AJSE 41(9), 3631\u20133644 (2016)","journal-title":"AJSE"},{"issue":"1","key":"1_CR3","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous time Markov chains. ACM Trans. Comp. Logic 1(1), 162\u2013170 (2000)","journal-title":"ACM Trans. Comp. Logic"},{"issue":"2","key":"1_CR4","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Languag. Syst. 8(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Languag. Syst."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Haverkort, B., Cloth, L., Hermanns, H., Katoen, J.P., Baier, E.C.: Model checking performability properties. In: Proceedings of the DSN, pp. 103\u2013112. IEEE CS Press (2002)","DOI":"10.1109\/DSN.2002.1028891"},{"issue":"5","key":"1_CR6","first-page":"429","volume":"7","author":"V Jindal","year":"2011","unstructured":"Jindal, V., Dharmaraja, S., Trivedi, K.S.: Markov modeling approach for survivability analysis of cellular networks. IJPE 7(5), 429 (2011)","journal-title":"IJPE"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Khdhir, R., Mnif, K., Belghith, A., Kamoun, L.: An efficient call admission control scheme for LTE and LTE-A networks. In: ISNCC, pp. 1\u20136. IEEE (2016)","DOI":"10.1109\/ISNCC.2016.7746068"},{"key":"1_CR8","volume-title":"Modeling and Analysis of Stochastic Systems","author":"VG Kulkarni","year":"1995","unstructured":"Kulkarni, V.G.: Modeling and Analysis of Stochastic Systems. Chapman & Hall, London (1995)"},{"issue":"4","key":"1_CR9","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/1059816.1059820","volume":"32","author":"M Kwiatkowska","year":"2005","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic model checking in practice: case studies with PRISM. ACM SIGMETRICS Perform. Eval. Rev. 32(4), 16\u201321 (2005)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"issue":"4","key":"1_CR10","first-page":"395","volume":"11","author":"Y Ma","year":"2000","unstructured":"Ma, Y., Han, J.J., Trivedi, K.S.: Channel allocation with recovery strategy in wireless networks. Trans. ETT 11(4), 395\u2013406 (2000)","journal-title":"Trans. ETT"},{"issue":"12","key":"1_CR11","doi-asserted-by":"publisher","first-page":"1147","DOI":"10.1016\/S0140-3664(00)00369-8","volume":"24","author":"Y Ma","year":"2001","unstructured":"Ma, Y., Han, J.J., Trivedi, K.S.: A method for multiple channel recovery in TDMA wireless communications systems. Comput. Commun. 24(12), 1147\u20131157 (2001)","journal-title":"Comput. Commun."},{"issue":"8","key":"1_CR12","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1109\/TC.1980.1675654","volume":"29","author":"JF Meyer","year":"1980","unstructured":"Meyer, J.F.: On evaluating the performability of degradable computing systems. IEEE Trans. Comput. 29(8), 720\u2013731 (1980)","journal-title":"IEEE Trans. Comput."},{"issue":"04","key":"1_CR13","doi-asserted-by":"publisher","first-page":"406","DOI":"10.4236\/ijcns.2010.34052","volume":"3","author":"RBH Siddamallaiah","year":"2010","unstructured":"Siddamallaiah, R.B.H., Subramanian, G., Satyanarayana, P.S.: Unified performance and availability model for call admission control in heterogeneous wireless networks. IJCNS 3(04), 406 (2010)","journal-title":"IJCNS"},{"issue":"10","key":"1_CR14","first-page":"1","volume":"2","author":"NS Tarkaa","year":"2011","unstructured":"Tarkaa, N.S., Mom, J.M., Ani, C.I.: Drop call probability factors in cellular networks. IJSER 2(10), 1\u20135 (2011)","journal-title":"IJSER"},{"issue":"6","key":"1_CR15","first-page":"561","volume":"16","author":"KS Trivedi","year":"2003","unstructured":"Trivedi, K.S., Ma, X., Dharmaraja, S.: Performability modelling of wireless communication systems. IJCS 16(6), 561\u2013577 (2003)","journal-title":"IJCS"},{"key":"1_CR16","unstructured":"WiMAX Forum: WiMAX QoS Whitepaper, September 2006"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-66176-6_2","volume-title":"Verification and Evaluation of Computer and Communication Systems","author":"S Younes","year":"2017","unstructured":"Younes, S., Benmbarek, M.: Performance analysis of multi-services call admission control in cellular network using probabilistic model checking. In: Barkaoui, K., Boucheneb, H., Mili, A., Tahar, S. (eds.) VECoS 2017. LNCS, vol. 10466, pp. 17\u201332. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66176-6_2"},{"issue":"10","key":"1_CR18","first-page":"1522","volume":"27","author":"F Zarai","year":"2014","unstructured":"Zarai, F., Ali, K.B., Obaidat, M.S., Kamoun, L.: Adaptive call admission control in 3GPP LTE networks. IJCS 27(10), 1522\u20131534 (2014)","journal-title":"IJCS"}],"container-title":["Communications in Computer and Information Science","New Trends in Model and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02852-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,26]],"date-time":"2019-10-26T21:19:10Z","timestamp":1572124750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02852-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030028510","9783030028527"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02852-7_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"MEDI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model and Data Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marrakesh","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Morocco","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"medi2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/medi2018.uca.ma\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}