{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:48:09Z","timestamp":1729619289125,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/cogsima.2012.6188396","type":"proceedings-article","created":{"date-parts":[[2012,4,25]],"date-time":"2012-04-25T20:52:20Z","timestamp":1335387140000},"page":"272-278","source":"Crossref","is-referenced-by-count":5,"title":["A complex-event-processing framework for smart-grid management"],"prefix":"10.1109","author":[{"given":"Srivathsan","family":"Srinivasagopalan","sequence":"first","affiliation":[]},{"given":"Supratik","family":"Mukhopadhyay","sequence":"additional","affiliation":[]},{"given":"Ramesh","family":"Bharadwaj","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/67.893351"},{"year":"0","key":"18"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.4018\/jwsr.2007100103"},{"key":"15","article-title":"Overcoming communications challenges in software for monitoring and controlling power systems","author":"birman","year":"2002","journal-title":"IEEE Trans on Power Engineering Journal"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10549-4_10"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/762483.762485"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273014"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1236360.1236422"},{"journal-title":"IEEE Transactions on Power Systems","article-title":"Epochs: Integrated cots software for agent-based electric power and communication simulation","year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781133"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"20","article-title":"An approach for data-driven and logic-based complex event processing","author":"a","year":"0","journal-title":"Proc of DEBS 2009"},{"key":"22","article-title":"The semantics of a simple language for parallel programming","author":"kahn","year":"0","journal-title":"Proceedings of the 1974 IFIP Conference"},{"journal-title":"A Course in Modal Logic","year":"2002","author":"blackburn","key":"23"},{"year":"0","key":"24"},{"journal-title":"The Lambda Calculus Its Syntax and Semantics","year":"1984","author":"barendregt","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/343477.343502"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50017-2"},{"journal-title":"An Introduction to Non-Classical Logics","year":"2001","author":"priest","key":"28"},{"journal-title":"Natural Deduction A Proof Theoretical Study","year":"2006","author":"prawitz","key":"29"},{"year":"0","key":"3"},{"year":"0","key":"2","first-page":"28"},{"journal-title":"Understanding Web services XML WSDL SOAP and UDDI","year":"2002","author":"newcomer","key":"10"},{"journal-title":"The Power of Events An Introduction to Complex Event Processing in Distributed Enterprise Systems","year":"2002","author":"luckham","key":"1"},{"key":"30","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1006\/jpdc.1993.1075","article-title":"Efficient algorithms for distributed snapshots and global virtual time approximation","author":"mattern","year":"1993","journal-title":"Parallel Distrib Comput"},{"year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2008.87"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTGRID.2010.5622066"},{"key":"5","article-title":"A formal framework for developing distributed event-driven service-oriented systems","author":"peralta","year":"2009","journal-title":"Advances in Web Servces"},{"key":"31","first-page":"51","article-title":"Paxos made simple","volume":"32","author":"lamport","year":"2001","journal-title":"ACM SIGACT News (Distributed Computing Column)"},{"key":"4","article-title":"Specification, analysis, and implementation of architectural patterns for dependable software systems","author":"yau","year":"0","journal-title":"Proceedings of IEEE International Workshop on Object-oriented and Real-time Distributed Systems (WORDS) 2005"},{"year":"0","key":"9"},{"journal-title":"Nist Smart Grid Interoperability Standards Roadmap Report","year":"2009","key":"8"}],"event":{"name":"2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA 2012)","start":{"date-parts":[[2012,3,6]]},"location":"New Orleans, LA","end":{"date-parts":[[2012,3,8]]}},"container-title":["2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6182940\/6188356\/06188396.pdf?arnumber=6188396","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:52:34Z","timestamp":1497981154000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6188396\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/cogsima.2012.6188396","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}