{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:27:19Z","timestamp":1725506839100},"publisher-location":"Boston, MA","reference-count":8,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_14","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T12:54:40Z","timestamp":1207572880000},"page":"121-134","source":"Crossref","is-referenced-by-count":0,"title":["Current Research Activities on Dependable Computing and Other Dependability Issues in Japan"],"prefix":"10.1007","author":[{"given":"Yoshihiro","family":"Tohma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masao","family":"Mukaidono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"14_CR1","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/MC.2002.1009167","volume":"35","author":"I. Foster","year":"2002","unstructured":"Foster, I., Kessselman, S., Nick, J. M. and Tuecke, S., 2002, Grid Services for Distributed System Integration, Computers, IEEE Computer, Vol. 35,No. 6, pp. 37\u201346, June 2002.","journal-title":"IEEE Computer"},{"issue":"12","key":"14_CR2","first-page":"2517","volume":"E86-D","author":"T. Mishia","year":"2003","unstructured":"Mishia, T and Akaike, T., 2003, PREGMA: A New Fault Tolerant Cluster Using COTS Components for Internet Services, Transactions on Information and Systems, The Institute of Electronics, Information and Communication Engineers (IEICE), Vol. E86-D,No. 12, pp. 2517\u20132526, December 2003.","journal-title":"Transactions on Information and Systems, The Institute of Electronics, Information and Communication Engineers (IEICE)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Mendelson, A. and Suri, A., 2000, Designing high-performance & reliable superscalar architecture \u2014 the out of order reliable superscalar (O3RS) approach; Proc. IEEE\/IFIP International Conference on Dependable Systems and Networks, pp. 447\u2013481, 2000.","DOI":"10.1109\/ICDSN.2000.857578"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Moskewicz, M. W., Madigan, C. F., Zhao, Y., Zhang, L, and Malik, S, 2001, Chaff: Engineering an efficient sat solver, Proc. 39\n                  \n                    th\n                  \n                  Design Automation Conference, 2001.","DOI":"10.1145\/378239.379017"},{"key":"14_CR5","unstructured":"Mukaidono, M., 2002, The Map on Safety \u2014 Toward to establish a new overall discipline on safety, Proc. 3\n                  \n                    rd\n                  \n                  International Forum on Safety Engineering and Science (IFSESIII), 2002. (See http:\/\/www.sys.cs.meiji.ac.jp\/~masao\/kouen\/safetymandala.file\/frame.htm.)"},{"issue":"12","key":"14_CR6","first-page":"2508","volume":"E86-D","author":"T. Sato","year":"2003","unstructured":"Sato, T., 2003, A Transparent and Transient Faults Tolerance Mechanism for Superscalar Processors, Transactions on Information and Systems, IEICE, Vol. E86-D,No. 12, pp. 2508\u20132516, December 2003.","journal-title":"Transactions on Information and Systems, IEICE"},{"issue":"12","key":"14_CR7","first-page":"2503","volume":"E86-D","author":"Y. Tohma","year":"2003","unstructured":"Tohma, Y., 2003, Consideration of Fault Tolerance in Autonomic Computing Environment, ibid, 2503\u20132507.","journal-title":"Transactions on Information and Systems, IEICE"},{"issue":"12","key":"14_CR8","first-page":"2579","volume":"E86-D","author":"T. Yokogawa","year":"2003","unstructured":"Yokogawa, T., Tsuchiya, T., Nakamura, M., and Kikuno, T., 2003, Feature Interaction Detection by Bounded Model Checking, ibid, 2579\u20132587.","journal-title":"Transactions on Information and Systems, IEICE"}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T01:08:00Z","timestamp":1619658480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_14","relation":{},"subject":[]}}