{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T01:12:59Z","timestamp":1649207579646},"reference-count":21,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2000,5]]},"DOI":"10.1016\/s0164-1212(99)00126-0","type":"journal-article","created":{"date-parts":[[2003,4,5]],"date-time":"2003-04-05T02:09:52Z","timestamp":1049508592000},"page":"229-243","source":"Crossref","is-referenced-by-count":0,"title":["IDRS: an interactive digital radio station over Internet"],"prefix":"10.1016","volume":"51","author":[{"given":"Chung-Ming","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pei-Chuan","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(99)00126-0_BIB1","doi-asserted-by":"crossref","unstructured":"Adoul, J.P., 1987. Fast CELP coding based on algebraic codes. In: Proceedings of IEEE International Conference on Acoustics, Speech and Signal Processing, pp. 1957\u20131960","DOI":"10.1109\/ICASSP.1987.1169413"},{"key":"10.1016\/S0164-1212(99)00126-0_BIB2","doi-asserted-by":"crossref","unstructured":"Atal, B.S., Remde, J.R., 1982. A new model of LPC excitation for producing natural sounding speech at low bit rates. In: Proceedings of the IEEE International Conference on Acoustics Speech and Signal Processing, pp. 614\u2013617","DOI":"10.1109\/ICASSP.1982.1171649"},{"key":"10.1016\/S0164-1212(99)00126-0_BIB3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","article-title":"An introduction to estelle: a specification language for distributed systems","volume":"14","author":"BudKowski","year":"1987","journal-title":"Comput. Networks ISDN Sys."},{"key":"10.1016\/S0164-1212(99)00126-0_BIB4","unstructured":"CCITT G.727'5-,4-,3-and 2-Bits Sample Embedded Adaptive Differential Pulse Code Modulation (ADPCM)'CCITT Fascicle III.4-Rec. G.727"},{"key":"10.1016\/S0164-1212(99)00126-0_BIB5","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1109\/12.88462","article-title":"Broadcast channels in estelle","volume":"40","author":"Chamberlain","year":"1991","journal-title":"IEEE Trans. Comput."},{"issue":"12","key":"10.1016\/S0164-1212(99)00126-0_BIB6","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/35.556484","article-title":"Low bit-rate speech coders for multimedia communication","volume":"34","author":"Cox","year":"1996","journal-title":"IEEE Commun. Magazine"},{"issue":"8","key":"10.1016\/S0164-1212(99)00126-0_BIB7","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/179606.179627","article-title":"MBONE: the multicast backbone","volume":"37","author":"Eeriksson","year":"1994","journal-title":"Commun. ACM"},{"issue":"6","key":"10.1016\/S0164-1212(99)00126-0_BIB8","doi-asserted-by":"crossref","first-page":"900","DOI":"10.1109\/5.286194","article-title":"Advances in speech and audio compression","volume":"82","author":"Gersho","year":"1994","journal-title":"Proc. IEEE"},{"issue":"12","key":"10.1016\/S0164-1212(99)00126-0_BIB9","doi-asserted-by":"crossref","DOI":"10.1109\/PROC.1977.10806","article-title":"Digital speech networks","volume":"65","author":"Gold","year":"1977","journal-title":"Proc. IEEE"},{"key":"10.1016\/S0164-1212(99)00126-0_BIB10","unstructured":"Hardman, V., Sasse, M.A., Handley, M., Watson, A., 1995. Reliable audio for use over the Internet. In: Proceedings of INET '95, Hawaii"},{"issue":"8","key":"10.1016\/S0164-1212(99)00126-0_BIB11","doi-asserted-by":"crossref","first-page":"698","DOI":"10.1093\/comjnl\/37.8.698","article-title":"An incremental protocol verification method","volume":"37","author":"Huang","year":"1994","journal-title":"Comput. J."},{"key":"10.1016\/S0164-1212(99)00126-0_BIB12","unstructured":"Jacobson, V., 1992. VAT manual pages, Lawrence Berkely Laboratory (LBL), February"},{"issue":"8","key":"10.1016\/S0164-1212(99)00126-0_BIB13","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1109\/32.7616","article-title":"An acyclic expansion algorithm for fast protocol validation","volume":"14","author":"Kakuda","year":"1988","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/S0164-1212(99)00126-0_BIB14","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0065-2458(08)60533-1","article-title":"Protocol engineering","volume":"29","author":"Liu","year":"1989","journal-title":"Adv. Comput."},{"key":"10.1016\/S0164-1212(99)00126-0_BIB15","unstructured":"Naik, K., 1995. Fault-talerant UIO sequences in finite state machines. In: Proceedings of the Eighth International Workshop on Protocol Testing Systems, pp. 207\u2013220"},{"key":"10.1016\/S0164-1212(99)00126-0_BIB16","series-title":"Practical Approaches to Speech Coding","author":"Papamichalis","year":"1987"},{"key":"10.1016\/S0164-1212(99)00126-0_BIB17","series-title":"Digital Processing of Speech Signals","author":"Rabiner","year":"1978"},{"key":"10.1016\/S0164-1212(99)00126-0_BIB18","doi-asserted-by":"crossref","unstructured":"Ramalingom, T., Das, A., Tbulasiraman, K., 1995. A unified test case generation method for the EFSM model using contest-independent unique sequences. In: Proceedings of the Eighth International Workshop on Protocol Testing Systems, pp. 289\u2013306","DOI":"10.1007\/978-0-387-34988-6_18"},{"key":"10.1016\/S0164-1212(99)00126-0_BIB19","doi-asserted-by":"crossref","unstructured":"Schroeder, M.R., Atal, B.S., 1985. Code-excited linear prediction (CELP): high quality speech at very low bit rates. In: Proceedings of IEEE International Conference on Acoustics, Speech and Signal Processing, pp. 937\u2013940","DOI":"10.1109\/ICASSP.1985.1168147"},{"key":"10.1016\/S0164-1212(99)00126-0_BIB20","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0169-7552(90)90135-F","article-title":"Semi-automatic implementation of OSI protocols","volume":"18","author":"Sidhu","year":"1988","journal-title":"Comput. Networks ISDN Sys."},{"issue":"10","key":"10.1016\/S0164-1212(99)00126-0_BIB21","doi-asserted-by":"crossref","first-page":"1541","DOI":"10.1109\/5.326413","article-title":"Speech coding: a tutorial review","volume":"82","author":"Spanias","year":"1994","journal-title":"Proc. IEEE"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121299001260?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121299001260?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,10]],"date-time":"2020-01-10T20:11:52Z","timestamp":1578687112000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121299001260"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,5]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,5]]}},"alternative-id":["S0164121299001260"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(99)00126-0","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2000,5]]}}}