{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:10:02Z","timestamp":1736115002638,"version":"3.32.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1996,3]]},"DOI":"10.1007\/bf02262752","type":"journal-article","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T09:31:21Z","timestamp":1132738281000},"page":"73-92","source":"Crossref","is-referenced-by-count":0,"title":["Realizing EQL programs for bounded-time excution"],"prefix":"10.1007","volume":"6","author":[{"given":"Aloysius K.","family":"Mok","sequence":"first","affiliation":[]},{"given":"Rwo-Hsi","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Chih-Kan","family":"Wang","sequence":"additional","affiliation":[]},{"family":"Luqi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02262752_CR1","unstructured":"M. Benda, \u201cReal-Time Applications of AI in the Aerospace Industry\u201d, Presentation at the Fall School on Artificial Intelligence, the Research Institute of Ecole Normal Superieure, France, Sep. 1987."},{"key":"BF02262752_CR2","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra, 1988.Parallel Program Design: A Foundation, Addison-Wesley.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"BF02262752_CR3","unstructured":"M. Chen,The Dataflow Real-Time System: A Case Study, Master's Thesis, Dept. of Computer Sciences, Univ. of Texas at Austin, 1987."},{"key":"BF02262752_CR4","unstructured":"A. M. K. Cheng, \u201cEQL: A Rule-Based Language for Programming Real-Time Decision Systems\u201d, technical report, Dept. of Computer Sciences, Univ. of Texas at Austin, Mar. 1989."},{"key":"BF02262752_CR5","doi-asserted-by":"crossref","unstructured":"C.L. Forgy, \u201cOPS5 User's Manual\u201d, technical report CMU-CS-81-135, Dept. of Computer Science, Carnegi-Mellon University, 1981.","DOI":"10.21236\/ADA106558"},{"key":"BF02262752_CR6","unstructured":"J.J. Helly,Distributed Expert System for Space Shuttle Flight Control, Ph.D. Dissertation, Dept. of Computer Science, UCLA, 1984."},{"key":"BF02262752_CR7","unstructured":"D. Koch, K. Morris, C. Giffin, and T. Reid, \u201cAvionic Sensor-Based Safing System Technology\u201d, Presentation at the Tri-Service Software System Safety Working Group in association with IEEE COMPASS Conference, 1986."},{"key":"BF02262752_CR8","unstructured":"T.J. Laffey, P.A. Cox, J.L. Schmidt, S.M. Kao, and J.Y. Real, \u201cReal-Time Knowledge-Based Systems\u201d,AI Magazine, Spring 1988."},{"key":"BF02262752_CR9","doi-asserted-by":"crossref","unstructured":"Luqi, V. Berzins, and R. Yeh, \u201cA Prototyping Language for Real-Time Software\u201d,IEEE Trans. Software Eng., pp. 1409\u20131423, Oct. 1988.","DOI":"10.1109\/32.6186"},{"key":"BF02262752_CR10","doi-asserted-by":"crossref","unstructured":"Luqi, \u201cHandling Timing Constraints in Rapid Prototyping\u201d,Proc. the 22nd Annual Hawaii International Conference on System Science, Kailua-Kona, Hawaii, pp. 417\u2013424, 1989.","DOI":"10.1109\/HICSS.1989.48020"},{"issue":"no. 2","key":"BF02262752_CR11","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0096-0551(93)90013-Q","volume":"18","author":"Luqi","year":"1993","unstructured":"Luqi, \u201cReal-Time Constraints in a Rapid Prototyping Language\u201d,Computer Language, vol. 18 no. 2, pp. 77\u2013103, 1993.","journal-title":"Computer Language"},{"key":"BF02262752_CR12","doi-asserted-by":"crossref","unstructured":"A.K. Mok, \u201cFormal Analysis of Real-Time Equational Rule-Based Systems\u201d,Proc. the 10th Real-Time Systems Symp., Dec. 1989.","DOI":"10.1109\/REAL.1989.63583"},{"key":"BF02262752_CR13","unstructured":"A.K. Mok, R.P. Amerasinghe, M. Chen and K. Tantisirivat, \u201cEvaluating Tight Execution Time Bounds of Programs by Annotations\u201d,Proc. the Sixth Workshop on Real-Time Operating Systems and Software, Pittsburgh, May 1989"},{"key":"BF02262752_CR14","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1117\/12.948443","volume":"548","author":"C.A. O'Reilly","year":"1985","unstructured":"C.A. O'Reilly and A.S. Cromarty, \u201cFast\u201d is not \u201cReal-Time\u201d: Designing Effective Real-Time AI Systems\u201d,SPIE Applications of Artilligence II 548:249\u2013257, 1985.","journal-title":"SPIE Applications of Artilligence II"},{"key":"BF02262752_CR15","doi-asserted-by":"crossref","unstructured":"C.J. Paul, A. Acharya, B. Black and J.K. Strosnider, \u201cReducing Problem-Solving Variance to Improve Predictability\u201d,CACM, August 1991.","DOI":"10.1145\/108515.108531"},{"key":"BF02262752_CR16","unstructured":"K. Tantisirivat,Timetool-Graphical Timing Analyzer. Master's Thesis, Dept. of Computer Sciences, Univ. of Texas at Austin, 1987."},{"key":"BF02262752_CR17","unstructured":"D.-C. Tsou, \u201cDeveloping Diagnostic Models for the ALMR Local Reactivity Controller\u201d, technical report, Dept. of Computer Sciences, Univ. of Texas at Austin, revised October 1993."},{"key":"BF02262752_CR18","doi-asserted-by":"crossref","unstructured":"R.-H. Wang and A.K. Mok, \u201cResponse-Time Bounds of EQL Rule-Based Programs under Rule Priority Structure\u201d,IEEE Trans. Software Engineering, vol. 21, no. 9, July 1995.","DOI":"10.1109\/32.392981"}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02262752.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02262752\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02262752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:51:13Z","timestamp":1736113873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02262752"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":18,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["BF02262752"],"URL":"https:\/\/doi.org\/10.1007\/bf02262752","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"type":"print","value":"0925-4676"},{"type":"electronic","value":"1573-8787"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}