{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:04:29Z","timestamp":1729609469369,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/hipc.2011.6152727","type":"proceedings-article","created":{"date-parts":[[2012,2,22]],"date-time":"2012-02-22T15:27:21Z","timestamp":1329924441000},"page":"1-10","source":"Crossref","is-referenced-by-count":0,"title":["Modelling and analyzing the authorization and execution of video workflows"],"prefix":"10.1109","author":[{"given":"Ligang","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chenlin","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenli","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianhua","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kewei","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen A.","family":"Jarvis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"155","article-title":"The consistency of task-based authorization constraints in workflow systems","author":"tan","year":"2004","journal-title":"Proc IEEE Computer Security Foundations Workshop"},{"key":"ref11","first-page":"614","author":"ziebermayr","year":"2004","journal-title":"Web Service Authorization Framework"},{"key":"ref12","first-page":"213","article-title":"Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems","volume":"9","author":"jensen","year":"2007"},{"year":"0","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1027527.1027631"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2002.1017735"},{"year":"0","key":"ref16"},{"journal-title":"Queueing System","year":"0","author":"kleinrock","key":"ref17"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1063979.1063986"},{"key":"ref3","first-page":"1112","article-title":"Enabling Runtime Adaptation of Workflows to External Events in Enterprise Environments","author":"chakraborty","year":"0","journal-title":"2007 IEEE International Conference on Web Services"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5161190"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1109\/TRA.2003.810577","article-title":"A generalized stochastic Petri net model for performance analysis and control of capacitated reentrant lines","volume":"19","author":"jin","year":"2003","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"ref8","first-page":"94","author":"kim","year":"2003","journal-title":"Workflow-based Authorization Service in Grid” in 4th International Workshop on Grid Computing"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2006.18"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2008.14"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/JCS-2000-82-307","article-title":"A Petri net based safety analysis of workflow authorization models","author":"atluri","year":"2000","journal-title":"Journal of Computer Security"},{"journal-title":"Schedulability analysis of real-time systems with stochastic task execution times","year":"0","author":"manolache","key":"ref9"}],"event":{"name":"2011 18th International Conference on High Performance Computing (HiPC)","start":{"date-parts":[[2011,12,18]]},"location":"Bengaluru, India","end":{"date-parts":[[2011,12,21]]}},"container-title":["2011 18th International Conference on High Performance Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6146509\/6152423\/06152727.pdf?arnumber=6152727","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,23]],"date-time":"2019-06-23T23:38:06Z","timestamp":1561333086000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6152727\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/hipc.2011.6152727","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}