{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:11:49Z","timestamp":1743045109704,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642328961"},{"type":"electronic","value":"9783642328978"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32897-8_8","type":"book-chapter","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T12:51:25Z","timestamp":1344862285000},"page":"94-109","source":"Crossref","is-referenced-by-count":2,"title":["Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters"],"prefix":"10.1007","author":[{"given":"Matei","family":"Popovici","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/978-3-540-45209-6_79","volume-title":"Euro-Par 2003 Parallel Processing","author":"G.S. Alm\u00e1si","year":"2003","unstructured":"Alm\u00e1si, G.S., Bellofatto, R., Brunheroto, J.R., Ca\u015fcaval, C., Casta\u00f1os, J.G., Ceze, L., Crumley, P., Erway, C.C., Gagliano, J., Lieber, D., Martorell, X., Moreira, J.E., Sanomiya, A., Strauss, K.: An Overview of the Blue Gene\/L System Software Organization. In: Kosch, H., B\u00f6sz\u00f6rm\u00e9nyi, L., Hellwagner, H. (eds.) Euro-Par 2003. LNCS, vol.\u00a02790, pp. 543\u2013555. Springer, Heidelberg (2003)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Gainaru, A., Franck Cappello, W.K.: Taming of the shrew: Modeling the normal and faulty behavior of large-scale hpc systems. In: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), pp. 24\u201335 (to appear, 2012)","DOI":"10.1109\/IPDPS.2012.107"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/A:1016636131405","volume":"30","author":"A. Artale","year":"2001","unstructured":"Artale, A., Franconi, E.: A survey of temporal extensions of description logics. Annals of Mathematics and Artificial Intelligence\u00a030, 171\u2013210 (2001)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"8_CR4","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Wooldridge, M., H\u00fcbner, J.F.: Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology). John Wiley & Sons (2007)","DOI":"10.1002\/9780470061848"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/800105.803397","volume-title":"Proceedings of the Ninth Annual ACM Symposium on Theory of Computing, STOC 1977","author":"A.K. Chandra","year":"1977","unstructured":"Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: Proceedings of the Ninth Annual ACM Symposium on Theory of Computing, STOC 1977, pp. 77\u201390. ACM, New York (1977), \n                    http:\/\/doi.acm.org\/10.1145\/800105.803397"},{"issue":"2","key":"8_CR7","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst.\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"8_CR8","first-page":"407","volume-title":"Proceedings of the LITP Spring School on Theoretical Computer Science on Semantics of Systems of Concurrent Processes","author":"R. De Nicola","year":"1990","unstructured":"De Nicola, R., Vaandrager, F.: Action versus state based logics for transition systems. In: Proceedings of the LITP Spring School on Theoretical Computer Science on Semantics of Systems of Concurrent Processes, pp. 407\u2013419. Springer-Verlag New York, Inc., New York (1990), \n                    http:\/\/dl.acm.org\/citation.cfm?id=111693.111710"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Model checking and the mu-calculus. In: Descriptive Complexity and Finite Models, pp. 185\u2013214 (1996)","DOI":"10.1090\/dimacs\/031\/06"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Capello, F., Al Geist, B.G.S.K.B.K.M.S.: Toward exascale resilience. International Journal of High Performance Computing Applications\u00a023 (2009)","DOI":"10.1177\/1094342009347767"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-23400-2_6","volume-title":"Euro-Par 2011 Parallel Processing","author":"A. Gainaru","year":"2011","unstructured":"Gainaru, A., Cappello, F., Trausan-Matu, S., Kramer, B.: Event Log Mining Tool for Large Scale HPC Systems. In: Jeannot, E., Namyst, R., Roman, J. (eds.) Euro-Par 2011, Part I. LNCS, vol.\u00a06852, pp. 52\u201364. Springer, Heidelberg (2011)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-15277-1_10","volume-title":"Euro-Par 2010 - Parallel Processing, Part I","author":"M. Gallet","year":"2010","unstructured":"Gallet, M., Yigitbasi, N., Javadi, B., Kondo, D., Iosup, A., Epema, D.: A Model for Space-Correlated Failures in Large-Scale Distributed Systems. In: D\u2019Ambra, P., Guarracino, M., Talia, D. (eds.) Euro-Par 2010, Part I. LNCS, vol.\u00a06271, pp. 88\u2013100. Springer, Heidelberg (2010), \n                    http:\/\/dl.acm.org\/citation.cfm?id=1887695.1887707"},{"issue":"1","key":"8_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"J.E. Laird","year":"1987","unstructured":"Laird, J.E., Newell, A., Rosenbloom, P.S.: Soar: an architecture for general intelligence. Artif. Intell.\u00a033(1), 1\u201364 (1987), \n                    http:\/\/dx.doi.org\/10.1016\/0004-37028790050-6","journal-title":"Artif. Intell."},{"issue":"2","key":"8_CR14","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1109\/TPDS.2009.52","volume":"21","author":"Z. Lan","year":"2010","unstructured":"Lan, Z., Zheng, Z., Li, Y.: Toward automated anomaly identification in large-scale systems. IEEE Trans. on Parallel and Distributed Systems\u00a021(2), 174\u2013187 (2010)","journal-title":"IEEE Trans. on Parallel and Distributed Systems"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Libkin, L.: Elements Of Finite Model Theory. Texts in Theoretical Computer Science. An Eatcs Series. Springer (2004)","DOI":"10.1007\/978-3-662-07003-1"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MSST.2007.4367962","volume-title":"Proceedings of the 24th IEEE Conference on Mass Storage Systems and Technologies, MSST 2007","author":"R.A. Oldfield","year":"2007","unstructured":"Oldfield, R.A., Arunagiri, S., Teller, P.J., Seelam, S., Varela, M.R., Riesen, R., Roth, P.C.: Modeling the impact of checkpoints on next-generation systems. In: Proceedings of the 24th IEEE Conference on Mass Storage Systems and Technologies, MSST 2007, pp. 30\u201346. IEEE Computer Society, Washington, DC (2007)"},{"key":"8_CR17","volume-title":"An Ontology of Time: Representing Complex Temporal Phenomena for the Semantic Web and Natural Language","author":"F. Pan","year":"2009","unstructured":"Pan, F.: An Ontology of Time: Representing Complex Temporal Phenomena for the Semantic Web and Natural Language. VDM Verlag, Saarbrucken (2009)"},{"key":"8_CR18","unstructured":"Park, Geist, A.: System log pre-processing to improve failure prediction. In: DSN 2009, pp. 572\u2013577 (June 2009)"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/SFCS.1977.32","volume-title":"Proceedings of the 18th Annual Symposium on Foundations of Computer Science, SFCS 1977","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, SFCS 1977, pp. 46\u201357. IEEE Computer Society, Washington, DC (1977)"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-642-22688-5_16","volume-title":"Conceptual Structures for Discovering Knowledge","author":"M. Popovici","year":"2011","unstructured":"Popovici, M., Muraru, M., Agache, A., Giumale, C., Negreanu, L., Dobre, C.: A Modeling Method and Declarative Language for Temporal Reasoning Based on Fluid Qualities. In: Andrews, S., Polovina, S., Hill, R., Akhgar, B. (eds.) ICCS-ConceptStruct 2011. LNCS, vol.\u00a06828, pp. 215\u2013228. Springer, Heidelberg (2011)"},{"key":"8_CR21","unstructured":"Riley, G.: NASA Clips: A Tool for Building Expert Systems (June 2006), \n                    http:\/\/www.ghg.net\/clips\/CLIPS.html"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/11817963_25","volume-title":"Computer Aided Verification","author":"G. Ro\u015fu","year":"2006","unstructured":"Ro\u015fu, G., Bensalem, S.: Allen Linear (Interval) Temporal Logic \u2013 Translation to LTL and Monitor Synthesis. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 263\u2013277. Springer, Heidelberg (2006)"},{"issue":"3","key":"8_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1670679.1670680","volume":"42","author":"F. Salfner","year":"2010","unstructured":"Salfner, F., Lenk, M., Malek, M.: A survey of online failure prediction methods. ACM Comput. Surv.\u00a042(3), 10:1\u201310:42 (2010)","journal-title":"ACM Comput. Surv."},{"key":"8_CR24","unstructured":"Schnoebelen, P.: The complexity of temporal logic model checking. In: Proceedings of Advances in Modal Logics AiML 2002. World Scientific (2003)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32897-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T08:37:37Z","timestamp":1675931857000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-32897-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328961","9783642328978"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32897-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}