{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T04:05:58Z","timestamp":1742184358042,"version":"3.38.0"},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2004,9,1]],"date-time":"2004-09-01T00:00:00Z","timestamp":1093996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2004,9]]},"DOI":"10.1109\/tc.2004.67","type":"journal-article","created":{"date-parts":[[2004,7,20]],"date-time":"2004-07-20T13:28:35Z","timestamp":1090330115000},"page":"1187-1199","source":"Crossref","is-referenced-by-count":16,"title":["Supervisory control of software systems"],"prefix":"10.1109","volume":"53","author":[{"given":"V.V.","family":"Phoha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.U.","family":"Nadgar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Ray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Phoha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36554-0_3"},{"article-title":"Supervisory Control of Workflow Scheduling","volume-title":"Proc. Int\u2019l Workshop Advanced Transaction Models and Architectures","author":"Wallace","key":"ref3"},{"key":"ref4","article-title":"Closed Loop Design for Software Rejuvenation","author":"Hong","year":"2002","journal-title":"SHAMAN\u2014Self-Healing, Adaptive and self-MANaged Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1995.466961"},{"volume-title":"Introduction to Automata Theory, Languages, and Computation","year":"2001","author":"Hopcroft","key":"ref6"},{"article-title":"More Enforceable Security Policies","volume-title":"Proc. Foundations of Computer Security Workshop","author":"Bauer","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/335169.335201"},{"issue":"1","key":"ref9","first-page":"30","article-title":"Enforceable Security Policies","volume":"3","author":"Hong","year":"2002","journal-title":"ACM Trans. Information and System Security"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.apm.2003.12.003"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1080\/00207170310001635392"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1515\/dema-2004-0225"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/87.748144"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/37.56284"},{"volume-title":"Understanding the Linux Kernel","year":"2001","author":"Bovet","key":"ref16"},{"volume-title":"Linux Device Drivers","year":"2001","author":"Rubini","key":"ref17"},{"key":"ref18","volume-title":"Unix Network Programming","volume":"1","author":"Stevens","year":"1999"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1272311"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2003.1243405"},{"article-title":"Optimal Monte Carlo Estimation of Belief Network Inference","volume-title":"Proc. 12th Conf. Uncertainty in Artificial Intelligence","author":"Pradhan","key":"ref21"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/12\/29154\/01315611.pdf?arnumber=1315611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:35:24Z","timestamp":1742099724000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/1315611\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9]]},"references-count":21,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2004,9]]}},"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/tc.2004.67","relation":{},"ISSN":["0018-9340"],"issn-type":[{"type":"print","value":"0018-9340"}],"subject":[],"published":{"date-parts":[[2004,9]]}}}