{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T10:42:43Z","timestamp":1756464163410,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,7,11]],"date-time":"2005-07-11T00:00:00Z","timestamp":1121040000000},"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":[[2005,7,11]]},"DOI":"10.1145\/1069774.1069790","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"164-175","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Timed constraint programming"],"prefix":"10.1145","author":[{"given":"Radha","family":"Jagadeesan","sequence":"first","affiliation":[{"name":"DePaul University, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Will","family":"Marrero","sequence":"additional","affiliation":[{"name":"DePaul University, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Corin","family":"Pitcher","sequence":"additional","affiliation":[{"name":"DePaul University, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay","family":"Saraswat","sequence":"additional","affiliation":[{"name":"IBM Research, Yorktown Heights, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. Network and Distributed System Security Symp.","author":"Abadi M.","year":"2003","unstructured":"M. Abadi and C. Fournet . Access control based on execution history . In Proc. Network and Distributed System Security Symp. , 2003 . M. Abadi and C. Fournet. Access control based on execution history. In Proc. Network and Distributed System Security Symp., 2003."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"M.\n      Backes M.\n      D\u00fcrmuth and \n      R.\n      Steinwandt\n  . \n  An algebra for composing enterprise privacy policies\n  . In P. Samarati D. Gollmann and R. Molva editors ESORICS volume \n  3193\n   of \n  Lecture Notes in Computer Science pages \n  33\n  --\n  52\n  . \n  Springer 2004\n  .  M. Backes M. D\u00fcrmuth and R. Steinwandt. An algebra for composing enterprise privacy policies. In P. Samarati D. Gollmann and R. Molva editors ESORICS volume 3193 of Lecture Notes in Computer Science pages 33--52. Springer 2004.","DOI":"10.1007\/978-3-540-30108-0_3"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/882491.884237"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1014007.1014026"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/950191.950194"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029179.1029195"},{"key":"e_1_3_2_1_7_1","first-page":"11","volume-title":"Information Processing 89","author":"Berry G.","year":"1989","unstructured":"G. Berry . Real-time programming: General purpose or special-purpose languages . In G. Ritter, editor, Information Processing 89 , pages 11 -- 17 . Elsevier Science Publishers B.V. (North Holland) , 1989 . G. Berry. Real-time programming: General purpose or special-purpose languages. In G. Ritter, editor, Information Processing 89, pages 11--17. Elsevier Science Publishers B.V. (North Holland), 1989."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/501978.501979"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/525080.884248"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the Eighth National Computer Security Conference","author":"Boebert W. E.","year":"1985","unstructured":"W. E. Boebert and R. Y. Kain . A practical alternative to hierarchical integrity policies . In Proceedings of the Eighth National Computer Security Conference , 1985 . W. E. Boebert and R. Y. Kain. A practical alternative to hierarchical integrity policies. In Proceedings of the Eighth National Computer Security Conference, 1985."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/504909.504910"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1297689.1297690"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/501978.501980"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/530328"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2003.1212713"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009380.1009679"},{"key":"e_1_3_2_1_18_1","first-page":"471","volume-title":"Logics and Models of Concurrent Systems","author":"Harel D.","year":"1985","unstructured":"D. Harel and A. Pnueli . Logics and Models of Concurrent Systems , volume 13 , chapter On the development of reactive systems, pages 471 -- 498 . NATO Advanced Study Institute , 1985 . D. Harel and A. Pnueli. Logics and Models of Concurrent Systems, volume 13, chapter On the development of reactive systems, pages 471--498. NATO Advanced Study Institute, 1985."},{"key":"e_1_3_2_1_19_1","volume-title":"Computer Science Department","author":"Hentenryck P. V.","year":"1992","unstructured":"P. V. Hentenryck , V. A. Saraswat , and Y. Deville . Constraint processing in cc(fd). Technical report , Computer Science Department , Brown University , 1992 . P. V. Hentenryck, V. A. Saraswat, and Y. Deville. Constraint processing in cc(fd). Technical report, Computer Science Department, Brown University, 1992."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/383891.383894"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/605434.605438"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/645773.667961"},{"key":"e_1_3_2_1_24_1","first-page":"114","volume-title":"SP '02: Proceedings of the 2002 IEEE Symposium on Security and Privacy","author":"Li N.","unstructured":"N. Li , J. C. Mitchell , and W. H. Winsborough . Design of a role-based trust-management framework . In SP '02: Proceedings of the 2002 IEEE Symposium on Security and Privacy , page 114 . IEEE Computer Society, 2002. N. Li, J. C. Mitchell, and W. H. Winsborough. Design of a role-based trust-management framework. In SP '02: Proceedings of the 2002 IEEE Symposium on Security and Privacy, page 114. IEEE Computer Society, 2002."},{"key":"e_1_3_2_1_25_1","first-page":"123","volume-title":"IEEE Symposium on Security and Privacy","author":"Li N.","year":"2003","unstructured":"N. Li , W. H. Winsborough , and J. C. Mitchell . Beyond proof-of-compliance: Safety and availability analysis in trust management . In IEEE Symposium on Security and Privacy , pages 123 -- 139 . IEEE Computer Society , 2003 . N. Li, W. H. Winsborough, and J. C. Mitchell. Beyond proof-of-compliance: Safety and availability analysis in trust management. In IEEE Symposium on Security and Privacy, pages 123--139. IEEE Computer Society, 2003."},{"key":"e_1_3_2_1_26_1","volume-title":"Meeting critical security objectives with Security-Enhanced Linux. In Proceedings of the 2001 Ottawa Linux Symposium","author":"Loscocco P. A.","year":"2001","unstructured":"P. A. Loscocco and S. D. Smalley . Meeting critical security objectives with Security-Enhanced Linux. In Proceedings of the 2001 Ottawa Linux Symposium , 2001 . P. A. Loscocco and S. D. Smalley. Meeting critical security objectives with Security-Enhanced Linux. In Proceedings of the 2001 Ottawa Linux Symposium, 2001."},{"key":"e_1_3_2_1_27_1","first-page":"303","volume-title":"Proceedings of the 21st National Information Systems Security Conference","author":"Loscocco P. A.","year":"1998","unstructured":"P. A. Loscocco , S. D. Smalley , P. A. Muckelbauer , R. C. Taylor , S. J. Turner , and J. F. Farrell . The inevitability of failure: The flawed assumption of security in modern computing environments . In Proceedings of the 21st National Information Systems Security Conference , pages 303 -- 314 , 1998 . P. A. Loscocco, S. D. Smalley, P. A. Muckelbauer, R. C. Taylor, S. J. Turner, and J. F. Farrell. The inevitability of failure: The flawed assumption of security in modern computing environments. In Proceedings of the 21st National Information Systems Security Conference, pages 303--314, 1998."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017789"},{"issue":"1","key":"e_1_3_2_1_29_1","first-page":"145","article-title":"Temporal concurrent constraint programming: Denotation, logic and applications","volume":"9","author":"Nielsen M.","year":"2002","unstructured":"M. Nielsen , C. Palamidessi , and F. D. Valencia . Temporal concurrent constraint programming: Denotation, logic and applications . Nord. J. Comput. , 9 ( 1 ): 145 -- 188 , 2002 . M. Nielsen, C. Palamidessi, and F. D. Valencia. Temporal concurrent constraint programming: Denotation, logic and applications. Nord. J. Comput., 9(1):145--188, 2002.","journal-title":"Nord. J. Comput."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/984334.984339"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185546"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0064"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"V. A.\n      Saraswat R.\n      Jagadeesan and \n      V.\n      Gupta\n  . \n  jcc: Integrating timed default concurrent constraint programming into Java\n  . In F. Moura-Pires and S. Abreu editors EPIA volume \n  2902\n   of \n  Lecture Notes in Computer Science pages \n  156\n  --\n  170\n  . \n  Springer 2003\n  .  V. A. Saraswat R. Jagadeesan and V. Gupta. jcc: Integrating timed default concurrent constraint programming into Java. In F. Moura-Pires and S. Abreu editors EPIA volume 2902 of Lecture Notes in Computer Science pages 156--170. Springer 2003.","DOI":"10.1007\/978-3-540-24580-3_23"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99627"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1035429.1035433"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/507711.507715"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/581271.581273"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/844102.844113"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029133.1029140"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/586110.586134"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/762476.762481"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/990036.990038"}],"event":{"name":"PPDP05: Principles and Practice of Declarative Programming 2005","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Lisbon Portugal","acronym":"PPDP05"},"container-title":["Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1069774.1069790","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1069774.1069790","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:38:23Z","timestamp":1750282703000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1069774.1069790"}},"subtitle":["a declarative approach to usage control"],"short-title":[],"issued":{"date-parts":[[2005,7,11]]},"references-count":43,"alternative-id":["10.1145\/1069774.1069790","10.1145\/1069774"],"URL":"https:\/\/doi.org\/10.1145\/1069774.1069790","relation":{},"subject":[],"published":{"date-parts":[[2005,7,11]]},"assertion":[{"value":"2005-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}