{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:25Z","timestamp":1750308745377,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,10,22]],"date-time":"2006-10-22T00:00:00Z","timestamp":1161475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,10,22]]},"DOI":"10.1145\/1215995.1216003","type":"proceedings-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T19:41:00Z","timestamp":1175802060000},"page":"8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A"],"prefix":"10.1145","author":[{"given":"Andrew","family":"Tjang","sequence":"first","affiliation":[{"name":"Rutgers University, Piscataway, NJ"}]},{"given":"Fabio","family":"Oliveira","sequence":"additional","affiliation":[{"name":"Rutgers University, Piscataway, NJ"}]},{"given":"Richard P.","family":"Martin","sequence":"additional","affiliation":[{"name":"Rutgers University, Piscataway, NJ"}]},{"given":"Thu D.","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Rutgers University, Piscataway, NJ"}]}],"member":"320","published-online":{"date-parts":[[2006,10,22]]},"reference":[{"unstructured":"G.\n      Box G.\n      Jenkins and \n      G.\n      Reinsel\n  . \n  Time Series Analysis: Forecasting and Control\n  . \n  Prentice Hall Inc Englewood Cliffs NJ third\n   edition 1994\n  .   G. Box G. Jenkins and G. Reinsel. Time Series Analysis: Forecasting and Control. Prentice Hall Inc Englewood Cliffs NJ third edition 1994.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of 5th Symposium on Reliability in Distributed Software and Database Systems","author":"Gray J.","year":"1986","unstructured":"J. Gray . Why do Computers Stop and What Can Be Done About It ? In Proceedings of 5th Symposium on Reliability in Distributed Software and Database Systems , Jan. 1986 . J. Gray. Why do Computers Stop and What Can Be Done About It? In Proceedings of 5th Symposium on Reliability in Distributed Software and Database Systems, Jan. 1986."},{"key":"e_1_3_2_1_3_1","volume-title":"May","author":"Gray J.","year":"2001","unstructured":"J. Gray . Dependability in the Internet Era. Keynote presentation at the 2nd HDCC Workshop , May 2001 . J. Gray. Dependability in the Internet Era. Keynote presentation at the 2nd HDCC Workshop, May 2001."},{"unstructured":"Jboss rules (drools) http:\/\/labs.jboss.com\/portal\/jbossrules\/.  Jboss rules (drools) http:\/\/labs.jboss.com\/portal\/jbossrules\/.","key":"e_1_3_2_1_4_1"},{"unstructured":"Linux virtual server project http:\/\/www.linuxvirtualserver.org\/.  Linux virtual server project http:\/\/www.linuxvirtualserver.org\/.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","volume-title":"Writing Solid Code","author":"Maguire S.","year":"1993","unstructured":"S. Maguire . Writing Solid Code . Microsoft Press , Redmond, WA , 1993 . S. Maguire. Writing Solid Code. Microsoft Press, Redmond, WA, 1993."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of OSDI '04","author":"Nagaraja K.","year":"2004","unstructured":"K. Nagaraja , F. Oliveira , R. Bianchini , R. P. Martin , and T. D. Nguyen . Understanding and Dealing with Operator Mistakes in Internet Services . In Proceedings of OSDI '04 , Dec. 2004 . K. Nagaraja, F. Oliveira, R. Bianchini, R. P. Martin, and T. D. Nguyen. Understanding and Dealing with Operator Mistakes in Internet Services. In Proceedings of OSDI '04, Dec. 2004."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 2006 USENIX Annual Technical Conference","author":"Oliveira F.","year":"2006","unstructured":"F. Oliveira , K. Nagaraja , R. Bachwani , R. Bianchini , R. P. Martin , and T. D. Nguyen . Understanding and Validating Database System Administration . In Proceedings of the 2006 USENIX Annual Technical Conference , June 2006 . F. Oliveira, K. Nagaraja, R. Bachwani, R. Bianchini, R. P. Martin, and T. D. Nguyen. Understanding and Validating Database System Administration. In Proceedings of the 2006 USENIX Annual Technical Conference, June 2006."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of USITS'03","author":"Oppenheimer D.","year":"2003","unstructured":"D. Oppenheimer , A. Ganapathi , and D. Patterson . Why do Internet Services Fail, and What Can Be Done About It . In Proceedings of USITS'03 , Mar. 2003 . D. Oppenheimer, A. Ganapathi, and D. Patterson. Why do Internet Services Fail, and What Can Be Done About It. In Proceedings of USITS'03, Mar. 2003."},{"key":"e_1_3_2_1_11_1","volume-title":"Addison Wesley","author":"Ousterhoust J.","year":"1994","unstructured":"J. Ousterhoust . Tel and the Tk Toolkit . Addison Wesley , Reading, MA , 1994 . J. Ousterhoust. Tel and the Tk Toolkit. Addison Wesley, Reading, MA, 1994."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/168619.168630"},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. NSDI 2006","author":"Reynolds P.","year":"2006","unstructured":"P. Reynolds , C. Killian , J. L. Wiener , J. C. Mogul , M. A. Shah , and A. Vahdat . Pip: Detecting the unexpected in distributed systems . In Proc. NSDI 2006 , May 2006 . P. Reynolds, C. Killian, J. L. Wiener, J. C. Mogul, M. A. Shah, and A. Vahdat. Pip: Detecting the unexpected in distributed systems. In Proc. NSDI 2006, May 2006."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/349299.349331"}],"event":{"sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture"],"acronym":"ASPLOS06","name":"ASPLOS06: Architectural Support for Programming Languages and Operating Systems","location":"San Jose California"},"container-title":["Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1215995.1216003","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1215995.1216003","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:16Z","timestamp":1750278136000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1215995.1216003"}},"subtitle":["an assertion language for distributed systems"],"short-title":[],"issued":{"date-parts":[[2006,10,22]]},"references-count":13,"alternative-id":["10.1145\/1215995.1216003","10.1145\/1215995"],"URL":"https:\/\/doi.org\/10.1145\/1215995.1216003","relation":{},"subject":[],"published":{"date-parts":[[2006,10,22]]},"assertion":[{"value":"2006-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}