{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:57:36Z","timestamp":1725490656260},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749837"},{"type":"electronic","value":"9783540749844"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74984-4_17","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T05:13:08Z","timestamp":1188537188000},"page":"272-288","source":"Crossref","is-referenced-by-count":0,"title":["SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems"],"prefix":"10.1007","author":[{"given":"Tae-Hyong","family":"Kim","sequence":"first","affiliation":[]},{"given":"Qi-Ping","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Soon-Gi","family":"Park","sequence":"additional","affiliation":[]},{"given":"Yeun-Seung","family":"Shin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"ITU, Recommendation Z.100, Specification and Description Language (SDL). ITU, Geneva (August 2002)","key":"17_CR1"},{"unstructured":"Telelogic AB Inc., Telelogic TAU SDL Suite, http:\/\/www.telelogic.com","key":"17_CR2"},{"unstructured":"OPNET Technology Inc., OPNET Modeler, http:\/\/www.opnet.com","key":"17_CR3"},{"unstructured":"Information Science Institute, University of Southern California, The Network Simulator ns-2, http:\/\/www.isi.edu\/nsnam\/ns","key":"17_CR4"},{"key":"17_CR5","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1007\/978-3-642-78091-2_36","volume-title":"Kommunikation in Verteilten Systemen, Reihe Informatik aktuell","author":"F. Bause","year":"1993","unstructured":"Bause, F., Buchholz, P.: Qualitative and Quantitative Analysis of Timed SDL Specifications. In: Kommunikation in Verteilten Systemen, Reihe Informatik aktuell, pp. 486\u2013500. Springer, Heidelberg (1993)"},{"key":"17_CR6","volume-title":"FORTE IX\/PSTV XVI","author":"M. B\u00fctow","year":"1996","unstructured":"B\u00fctow, M., Mestern, M., Schapiro, C., Kritzinger, P.S.: Performance Modelling with the Formal Specification language SDL. In: FORTE IX\/PSTV XVI, Chapman & Hall, Sydney (1996)"},{"key":"17_CR7","volume-title":"SDL 1995 with MSC in CASE","author":"M. Diefenbruch","year":"1995","unstructured":"Diefenbruch, M., Heck, E., Hintelmann, J., M\u00fcller-Clostermann, B.: Performance Evaluation of SDL Systems Adjunct by Queuing Models. In: SDL 1995 with MSC in CASE, Elsevier, Amsterdam (1995)"},{"doi-asserted-by":"crossref","unstructured":"Steppler, M.: Performance Analysis of Communication Systems Formally Specified in SDL. In: WOSP 1998. Proc. of First Int\u2019l Workshop on Software and Performance (1998)","key":"17_CR8","DOI":"10.1145\/287318.287329"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/11506843_7","volume-title":"SDL 2005: Model Driven","author":"T. Kuhn","year":"2005","unstructured":"Kuhn, T., Geraldy, A., Gotzhein, R., Rothl\u00e4nder, F.: ns+SDL \u2013 The Network Simulator for SDL Systems. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol.\u00a03530, pp. 103\u2013116. Springer, Heidelberg (2005)"},{"unstructured":"3GPP, UTRA-UTRAN Long Term Evolution (LTE) and 3GPP System Architecture Evolution (SAE), http:\/\/www.3gpp.org\/Highlights\/LTE\/LTE.htm","key":"17_CR10"},{"unstructured":"3GPP, E-UTRA and E-UTRAN; Radio Interface Protocol Aspects. TR 25.813 V.7.1.0 (2006)","key":"17_CR11"},{"unstructured":"Welch, G., et al.: An Introduction to the Kalman Filter. University of North Carolina TR 95-041, UNC (2002)","key":"17_CR12"},{"doi-asserted-by":"crossref","unstructured":"Michaelis, S., et al.: Comparison of User Mobility Pattern Prediction Algorithms to increase Handover Trigger Accuracy. IEEE VTC 2006-Spring, Melbourne (2006)","key":"17_CR13","DOI":"10.1109\/VETECS.2006.1682965"},{"doi-asserted-by":"crossref","unstructured":"Kim, T.-H., Yang, Q., Lee, J.-H., Park, S.-G., Shin, Y.-S.: A Mobility Management Technique with Simple handover Prediction for 3G LTE Systems. IEEE VTC 2007-Fall, Baltimore (2007)","key":"17_CR14","DOI":"10.1109\/VETECF.2007.68"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/11951148_11","volume-title":"System Analysis and Modeling: Language Profiles","author":"T.-H. Kim","year":"2006","unstructured":"Kim, T.-H., Kim, J.-W., Yang, Q.-P., Lee, J.-H., Park, S.-G., Shin, Y.-S.: SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol.\u00a04320, pp. 166\u2013182. Springer, Heidelberg (2006)"},{"unstructured":"Wikipedia Foundation, Inc., RAM disk. Wikipedia, the free encyclopedia, http:\/\/en.wikipedia.org\/wiki\/RAM_disk","key":"17_CR16"},{"key":"17_CR17","volume-title":"ICCE 1996","author":"J. Martins","year":"1996","unstructured":"Martins, J., Hubaux, J.-P., Saydam, T., Znatny, S.: Integrating Performance Evaluation and Formal Speficication. In: ICCE 1996. Proc. of Int\u2019l Conf. on Communications, IEEE Computer Society Press, Los Alamitos (1996)"}],"container-title":["Lecture Notes in Computer Science","SDL 2007: Design for Dependable Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74984-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:50:32Z","timestamp":1619520632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74984-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540749837","9783540749844"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74984-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}