{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T21:54:40Z","timestamp":1767650080232,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,4,21]],"date-time":"2015-04-21T00:00:00Z","timestamp":1429574400000},"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":[[2015,4,21]]},"DOI":"10.1145\/2746194.2746201","type":"proceedings-article","created":{"date-parts":[[2015,4,17]],"date-time":"2015-04-17T22:11:35Z","timestamp":1429308695000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Modelling user availability in workflow resiliency analysis"],"prefix":"10.1145","author":[{"given":"John C.","family":"Mace","sequence":"first","affiliation":[{"name":"Newcastle University, Newcastle upon Tyne, UK"}]},{"given":"Charles","family":"Morisset","sequence":"additional","affiliation":[{"name":"Newcastle University, Newcastle upon Tyne, UK"}]},{"given":"Aad","family":"van Moorsel","sequence":"additional","affiliation":[{"name":"Newcastle University, Newcastle upon Tyne, UK"}]}],"member":"320","published-online":{"date-parts":[[2015,4,21]]},"reference":[{"volume-title":"Inc.","year":"1997","key":"e_1_3_2_1_1_1","unstructured":"Workflow handbook 1997 . chapter The Workflow Reference Model, pages 243--293. John Wiley & Sons , Inc. , New York, NY, USA , 1997. Workflow handbook 1997. chapter The Workflow Reference Model, pages 243--293. John Wiley & Sons, Inc., New York, NY, USA, 1997."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2013.10.002"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-48533-1_9"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2011.14"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1287\/isre.13.1.1.94"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1957.6.56038"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.403.0666"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2487222.2487226"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01277643"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2012.03.003"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.4023362"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2012.0085"},{"key":"e_1_3_2_1_13_1","volume-title":"MIT Press","author":"Howard R. A.","year":"1960","unstructured":"R. A. Howard . Dynamic Programming and Markov Processes . MIT Press , Cambridge, MA , 1960 . R. A. Howard. Dynamic Programming and Markov Processes. MIT Press, Cambridge, MA, 1960."},{"key":"e_1_3_2_1_14_1","volume-title":"IPCCC 2007","author":"Kohler M.","year":"2007","unstructured":"M. Kohler , C. Liesegang , and A. Schaad . Classification model for access control constraints. In Performance, Computing, and Communications Conference, 2007 . IPCCC 2007 . IEEE Internationa, pages 410- -417, April 2007 . M. Kohler, C. Liesegang, and A. Schaad. Classification model for access control constraints. In Performance, Computing, and Communications Conference, 2007. IPCCC 2007. IEEE Internationa, pages 410--417, April 2007."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2008.131"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032352"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11203-9_20"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2133601.2133623"},{"key":"e_1_3_2_1_19_1","first-page":"28","volume-title":"Proceedings of the Second International Workshop on Performability Modeling of Computer and Communication Systems","author":"Meyer J. F.","year":"1993","unstructured":"J. F. Meyer and W. H. Sanders . Specification and construction of performability models . In Proceedings of the Second International Workshop on Performability Modeling of Computer and Communication Systems , pages 28 -- 30 , 1993 . J. F. Meyer and W. H. Sanders. Specification and construction of performability models. In Proceedings of the Second International Workshop on Performability Modeling of Computer and Communication Systems, pages 28--30, 1993."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1880022.1880034"}],"event":{"name":"HotSoS '15: Symposium and Bootcamp on the Science of Security","sponsor":["US Army Research Office US Army Research Office","NSF National Science Foundation","University of Illinois at Urbana-Champaign","National Security Agency National Security Agency"],"location":"Urbana Illinois","acronym":"HotSoS '15"},"container-title":["Proceedings of the 2015 Symposium and Bootcamp on the Science of Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2746194.2746201","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2746194.2746201","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:44Z","timestamp":1750227404000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2746194.2746201"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,21]]},"references-count":20,"alternative-id":["10.1145\/2746194.2746201","10.1145\/2746194"],"URL":"https:\/\/doi.org\/10.1145\/2746194.2746201","relation":{},"subject":[],"published":{"date-parts":[[2015,4,21]]},"assertion":[{"value":"2015-04-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}