{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T17:13:56Z","timestamp":1740158036533,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Ambient Intell Human Comput"],"published-print":{"date-parts":[[2024,2]]},"DOI":"10.1007\/s12652-018-0992-z","type":"journal-article","created":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T01:51:22Z","timestamp":1535939482000},"page":"1187-1200","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A multi-mode real-time system verification model using efficient event-driven dataset"],"prefix":"10.1007","volume":"15","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7523-2530","authenticated-orcid":false,"given":"Nayreet","family":"Islam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akramul","family":"Azim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"issue":"3","key":"992_CR1","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1109\/TPAMI.2007.70825","volume":"30","author":"A Adam","year":"2008","unstructured":"Adam A, Rivlin E, Shimshoni I, Reinitz D (2008) Robust real-time unusual event detection using multiple fixed-location monitors. IEEE Trans Pattern Anal Mach Intell 30(3):555\u2013560","journal-title":"IEEE Trans Pattern Anal Mach Intell"},{"issue":"2","key":"992_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235","journal-title":"Theor Comput Sci"},{"key":"992_CR3","doi-asserted-by":"crossref","unstructured":"Behjati R, Sabouri H, Razavi N, Sirjani M (2008) An effective approach for model checking systemc designs. In: Application of concurrency to system design, 2008. ACSD 2008. 8th International Conference on IEEE, pp 56\u201361","DOI":"10.1109\/ACSD.2008.4574596"},{"key":"992_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume":"3098","author":"J Bengtsson","year":"2004","unstructured":"Bengtsson J, Yi W (2004) Timed automata: semantics, algorithms and tools. Lect Notes Comput Sci 3098:87\u2013124","journal-title":"Lect Notes Comput Sci"},{"key":"992_CR5","volume-title":"Statistical decision theory and Bayesian analysis","author":"JO Berger","year":"2013","unstructured":"Berger JO (2013) Statistical decision theory and Bayesian analysis. Springer Science & Business Media, New York"},{"issue":"3","key":"992_CR6","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time petri nets. IEEE Trans Softw Eng 17(3):259\u2013273","journal-title":"IEEE Trans Softw Eng"},{"key":"992_CR7","doi-asserted-by":"crossref","unstructured":"Bramberger M, Brunner J, Rinner B, Schwabach H (2004) Real-time video analysis on an embedded smart camera for traffic surveillance. In: Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004. 10th IEEE, pp 174\u2013181","DOI":"10.1109\/RTTAS.2004.1317262"},{"issue":"3","key":"992_CR8","doi-asserted-by":"publisher","first-page":"658","DOI":"10.1109\/TITS.2010.2048314","volume":"11","author":"M Brannstrom","year":"2010","unstructured":"Brannstrom M, Coelingh E, Sjoberg J (2010) Model-based threat assessment for avoiding arbitrary vehicle collisions. IEEE Trans Intell Transp Syst 11(3):658\u2013669","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"992_CR9","doi-asserted-by":"crossref","unstructured":"Chatterjee S, Hadi AS (2006) Simple linear regression. Regression Analysis by Example, 4th edn. Wiley, pp 21\u201351","DOI":"10.1002\/0470055464.ch2"},{"key":"992_CR10","unstructured":"Chen X, Demas J (2017) Artifact-free displaying of mpeg-2 video in the progressive-refresh mode, May\u00a02 2017. US Patent 9,641,858"},{"issue":"1","key":"992_CR11","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.future.2012.05.023","volume":"29","author":"N Fernando","year":"2013","unstructured":"Fernando N, Loke SW, Rahayu W (2013) Mobile cloud computing: a survey. Future Gener Comput Syst 29(1):84\u2013106","journal-title":"Future Gener Comput Syst"},{"key":"992_CR12","unstructured":"Holenderski M, Van Den\u00a0Heuvel MMHP, Bril RJ, Lukkien JJ (2010) Grasp: tracing, visualizing and measuring the behavior of real-time systems. In: International workshop on analysis tools and methodologies for embedded and real-time systems (WATERS), pp 37\u201342"},{"issue":"1","key":"992_CR13","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/TCSVT.2013.2273651","volume":"24","author":"E Peixoto","year":"2014","unstructured":"Peixoto E, Shanableh T, Izquierdo E (2014) H. 264\/avc to hevc video transcoder based on dynamic thresholding and content modeling. IEEE Trans Circ Syst Video Technol 24(1):99\u2013112","journal-title":"IEEE Trans Circ Syst Video Technol"},{"issue":"1","key":"992_CR14","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1109\/TFUZZ.2007.903328","volume":"16","author":"M Sallak","year":"2008","unstructured":"Sallak M, Simon C, Aubry J-F (2008) A fuzzy probabilistic approach for determining safety integrity level. IEEE Trans Fuzzy Syst 16(1):239\u2013248","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"992_CR15","doi-asserted-by":"crossref","unstructured":"Sharif MHU, Uyaver S, Sharif MH (2012) Ordinary video events detection. In: CompIMAGE, pp 19\u201324","DOI":"10.1201\/b12753-5"},{"key":"992_CR16","unstructured":"Sun S, Regunathan S, Tu C, Lin CL (2017) Conversion operations in scalable video encoding and decoding, February\u00a014 2017. US Patent 9,571,856"},{"key":"992_CR17","unstructured":"Tibbitts J, Strobel B, Ramsey L (2017) Jackson hole town square-live streaming. http:\/\/www.seejh.com\/live?ref=sjhyt. Accessed 26 July 2018"},{"key":"992_CR18","doi-asserted-by":"crossref","unstructured":"Worrall S, Orchansky D, Masson F, Nebot E (2010) Improving vehicle safety using context based detection of risk. In: Intelligent Transportation Systems (ITSC), 2010 13th International IEEE Conference on IEEE, pp 379\u2013385","DOI":"10.1109\/ITSC.2010.5625185"},{"key":"992_CR19","unstructured":"Xue X, Zhang W, Guo YF, Lu H, Zhang Y, Sun Z, Zheng Y, Zhang S, Liu H, Song Y et\u00a0al (2008) Fudan university at trecvid 2007. In: TRECVID"},{"issue":"5","key":"992_CR20","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1109\/TKDE.2005.83","volume":"17","author":"X Zhu","year":"2005","unstructured":"Zhu X, Xindong W, Elmagarmid AK, Feng Z, Wu L (2005) Video data mining: semantic indexing and event detection from the association perspective. IEEE Trans Knowl Data Eng 17(5):665\u2013677","journal-title":"IEEE Trans Knowl Data Eng"}],"container-title":["Journal of Ambient Intelligence and Humanized Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-018-0992-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s12652-018-0992-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-018-0992-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T16:32:09Z","timestamp":1709224329000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s12652-018-0992-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,2]]}},"alternative-id":["992"],"URL":"https:\/\/doi.org\/10.1007\/s12652-018-0992-z","relation":{},"ISSN":["1868-5137","1868-5145"],"issn-type":[{"type":"print","value":"1868-5137"},{"type":"electronic","value":"1868-5145"}],"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"7 September 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 August 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 September 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}