{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:40:39Z","timestamp":1742384439786,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/real.2003.1253265","type":"proceedings-article","created":{"date-parts":[[2004,5,13]],"date-time":"2004-05-13T10:43:37Z","timestamp":1084445017000},"page":"178-187","source":"Crossref","is-referenced-by-count":2,"title":["Monitoring of timing constraints with confidence threshold requirements"],"prefix":"10.1109","author":[{"family":"Chan-Gun Lee","sequence":"first","affiliation":[]},{"given":"A.K.","family":"Mok","sequence":"additional","affiliation":[]},{"given":"P.","family":"Konana","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"56","article-title":"Runtime Assurance Based On Formal Specifications","author":"lee","year":"1999","journal-title":"Proc of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/COOPIS.1999.792159"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1088\/0967-1846\/4\/2\/004"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181574"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1997.641280"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1997.601363"},{"key":"ref16","first-page":"62","article-title":"A Framework for Event Composition in Distributed Systems","author":"pietzuch","year":"2003","journal-title":"Proc ACM\/IFIP\/USENIX Int l Middleware Conf (Middleware 03)"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-49151-1_10","article-title":"Toward Duration-Based, Constrained and Dynamic Event Types","volume":"1553","author":"roncancio","year":"1997","journal-title":"Lecture Notes in Computer Science"},{"article-title":"Monitoring the behaviour of distributed systems","year":"1996","author":"schwiderski","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2000.856601"},{"key":"ref4","first-page":"175","article-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","volume":"4","author":"galton","year":"1995","journal-title":"Epistemic and Temporal Reasoning"},{"key":"ref3","article-title":"Understanding fault-tolerant distributed systems","author":"cristian","year":"1990","journal-title":"Technical report Technical Report RJ 6980"},{"key":"ref6","first-page":"327","article-title":"Composite Event Specification in Active Databases: Model and Implementation","author":"gehani","year":"1992","journal-title":"Proc of the International Conference on Very Large Data Bases (VLDB)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/RIDE.1994.282859"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80579-6"},{"key":"ref7","article-title":"Run-time monitoring of timing constraints in distributed real-time systems","author":"jahanian","year":"1994","journal-title":"Technical report Technical Report CSE-TR 212-94"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1991.160360"},{"key":"ref1","first-page":"606","article-title":"Composite events for active databases: semantics, contexts and detection","author":"chakravarthy","year":"1994","journal-title":"Proc of the International Conference on Very Large Data Bases(VLDB)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2000.896001"}],"event":{"name":"24th IEEE International Real-Time Systems Symposium","acronym":"REAL-03","location":"Cancun, Mexico"},"container-title":["Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8877\/28040\/01253265.pdf?arnumber=1253265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:02:31Z","timestamp":1497582151000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1253265\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/real.2003.1253265","relation":{},"subject":[]}}