{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T23:00:57Z","timestamp":1730329257555,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,1]]},"DOI":"10.1145\/974044.974046","type":"proceedings-article","created":{"date-parts":[[2004,7,20]],"date-time":"2004-07-20T15:55:38Z","timestamp":1090338938000},"page":"1-12","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Estimating the CPU utilization of a rule-based system"],"prefix":"10.1145","author":[{"given":"Alberto","family":"Avritzer","sequence":"first","affiliation":[{"name":"AT&T Labs-NDPA, Middletown, NJ"}]},{"given":"Johannes P.","family":"Ros","sequence":"additional","affiliation":[{"name":"AT&T Labs, Middletown, NJ"}]},{"given":"Elaine J.","family":"Weyuker","sequence":"additional","affiliation":[{"name":"AT&T Labs-Research, Florham Park, NJ"}]}],"member":"320","published-online":{"date-parts":[[2004,1]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.536461"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.464549"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/186258.186507"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.846292"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(87)80076-7"},{"key":"e_1_3_2_1_6_1","first-page":"102","volume-title":"Proceedings of Third Annual Expert Systems in Government Conference","author":"Ginsberg A","year":"1987","unstructured":"A Ginsberg . A New Approach to Checking Knowledge Bases for Inconsistency and Redundancy . Proceedings of Third Annual Expert Systems in Government Conference , 1987 , pp. 102 -- 111 . A Ginsberg. A New Approach to Checking Knowledge Bases for Inconsistency and Redundancy. Proceedings of Third Annual Expert Systems in Government Conference, 1987, pp. 102--111."},{"key":"e_1_3_2_1_7_1","first-page":"585","volume-title":"Proceedings of the Seventh Annual National Conference on Artificial Intelligence","author":"Ginsberg A.","year":"1988","unstructured":"A. Ginsberg . Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy . Proceedings of the Seventh Annual National Conference on Artificial Intelligence , 1988 , pp. 585 -- 589 . A. Ginsberg. Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy. Proceedings of the Seventh Annual National Conference on Artificial Intelligence, 1988, pp. 585--589."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1867270.1867375"},{"key":"e_1_3_2_1_9_1","first-page":"30","volume-title":"Selecting Metrics for Detecting Performance Problems in Information Systems Proceedings of IEEE Second International Workshop on System Management","author":"Hellerstein J. L.","year":"1996","unstructured":"J. L. Hellerstein , An Approach to Selecting Metrics for Detecting Performance Problems in Information Systems Proceedings of IEEE Second International Workshop on System Management , June 1996 , pp. 30 -- 39 . J. L. Hellerstein, An Approach to Selecting Metrics for Detecting Performance Problems in Information Systems Proceedings of IEEE Second International Workshop on System Management, June 1996, pp. 30--39."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/128894.128896"},{"key":"e_1_3_2_1_11_1","volume-title":"Brooks\/Cole","author":"Berry D. A.","year":"1990","unstructured":"D. A. Berry and B. W. Lindgren . Statistics: Theory and Methods . Brooks\/Cole , 1990 . D. A. Berry and B. W. Lindgren. Statistics: Theory and Methods. Brooks\/Cole, 1990."},{"key":"e_1_3_2_1_12_1","first-page":"374","volume-title":"Proceedings of 9th IJCAI","author":"Nguyen T. A.","year":"1985","unstructured":"T. A. Nguyen , W. A. Perkins , T. J. Lafey and D. Pecora . Checking an Expert Systems Knowledge Base for Consistency and Completeness . Proceedings of 9th IJCAI , 1985 , pp. 374 -- 378 . T. A. Nguyen, W. A. Perkins, T. J. Lafey and D. Pecora. Checking an Expert Systems Knowledge Base for Consistency and Completeness. Proceedings of 9th IJCAI, 1985, pp. 374--378."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/25030.25034"},{"key":"e_1_3_2_1_14_1","first-page":"81","author":"O'Keefe R. M.","year":"1987","unstructured":"R. M. O'Keefe , O. Balci , and E. P. Smith . Validating Expert System Performance. IEEE Expert , Winter 1987 , pp. 81 -- 87 . R. M. O'Keefe, O. Balci, and E. P. Smith. Validating Expert System Performance. IEEE Expert, Winter 1987, pp. 81--87.","journal-title":"Validating Expert System Performance. IEEE Expert"},{"issue":"4","key":"e_1_3_2_1_15_1","first-page":"16","volume":"3","author":"Suwa M.","year":"1982","unstructured":"M. Suwa , S. C. Scott and E. H. Shortliffe . An Approach to Verifying Completeness and Consistency in Rule-Based Expert Systems. AI Magazine , vol 3 , no 4 , Fall 1982 , pp. 16 -- 21 . M. Suwa, S. C. Scott and E. H. Shortliffe. An Approach to Verifying Completeness and Consistency in Rule-Based Expert Systems. AI Magazine, vol 3, no 4, Fall 1982, pp. 16--21.","journal-title":"AI Magazine"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.392981"}],"event":{"name":"WOSP04: Fourth International Workshop on Software and Performance 2004","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Redwood Shores California","acronym":"WOSP04"},"container-title":["Proceedings of the 4th international workshop on Software and performance"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/974044.974046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T21:43:26Z","timestamp":1693863806000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/974044.974046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,1]]},"references-count":16,"alternative-id":["10.1145\/974044.974046","10.1145\/974044"],"URL":"https:\/\/doi.org\/10.1145\/974044.974046","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/974043.974046","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2004,1]]},"assertion":[{"value":"2004-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}