{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:05Z","timestamp":1750220645092,"version":"3.41.0"},"reference-count":64,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Research Fund KU Leuven and the FWO D3-CPS project"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Internet Things"],"published-print":{"date-parts":[[2020,8,31]]},"abstract":"<jats:p>Application development for Cyber Physical Systems (CPS) is challenging, because the wireless network and the devices introduce latencies that vary continuously along with the load, status, or environmental conditions of the infrastructure. Reactive programming is well suited for the development of event-driven applications, yet current reactive programming frameworks require developers to predict event arrival time-boundaries at compile time, which is impractical, if not impossible, for CPS. Thus, there is a tradeoff between timeliness and completeness of complex event computations, e.g., operational efficiency in a manufacturing plant: Waiting too long until all individual events arrive can fail to produce a useful result, while not waiting long enough may lead to faults due to incomplete status information. In this article, we propose (a) a set of extensions to state-of-the-art reactive programming frameworks, which remove the burden of specifying timeouts at compile time by utilizing (b) Khronos, a middleware that automatically determines timeouts by taking into account variations in event arrival times due to the underlying infrastructure. Evaluation on a physical testbed shows that the extensions significantly decrease developer effort and that Khronos considerably improves timeliness under varying network configurations and conditions, while still satisfying the application\u2019s tolerance to missed events.<\/jats:p>","DOI":"10.1145\/3385960","type":"journal-article","created":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T10:14:07Z","timestamp":1591006447000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Simplifying CPS Application Development through Fine-grained, Automatic Timeout Predictions"],"prefix":"10.1145","volume":"1","author":[{"given":"Stefanos","family":"Peros","sequence":"first","affiliation":[{"name":"imec-DistriNet, KU Leuven, Celestijnenlaan, Leuven, Vlaams-Brabant, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Delbruel","sequence":"additional","affiliation":[{"name":"imec-DistriNet, KU Leuven, Celestijnenlaan, Leuven, Belgium, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam","family":"Michiels","sequence":"additional","affiliation":[{"name":"imec-DistriNet, KU Leuven, Celestijnenlaan, Leuven, Vlaams-Brabant, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wouter","family":"Joosen","sequence":"additional","affiliation":[{"name":"imec-DistriNet, KU Leuven, Celestijnenlaan, Leuven, Vlaams-Brabant, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danny","family":"Hughes","sequence":"additional","affiliation":[{"name":"imec-DistriNet, KU Leuven, Celestijnenlaan, Leuven, Vlaams-Brabant, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,6]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Retrieved","author":"X.","year":"2019","unstructured":"Reactive X. Retrieved December 12, 2019 from http:\/\/reactivex.io\/languages.html. ReactiveX. Retrieved December 12, 2019 from http:\/\/reactivex.io\/languages.html."},{"key":"e_1_2_1_2_1","volume-title":"Retrieved","author":"SmartMesh","year":"2019","unstructured":"SmartMesh IP. Retrieved December 12, 2019 from https:\/\/www.analog.com\/en\/products\/rf-microwave\/wireless-sensor-networks\/smartmesh-ip.html. SmartMesh IP. Retrieved December 12, 2019 from https:\/\/www.analog.com\/en\/products\/rf-microwave\/wireless-sensor-networks\/smartmesh-ip.html."},{"key":"e_1_2_1_3_1","volume-title":"Retrieved","author":"Dev A-B","year":"2019","unstructured":"DC9003 A-B SmartMesh IP Eval\/ Dev Mote ( Chip Antenna). Retrieved December 13, 2019 from https:\/\/www.analog.com\/en\/design-center\/evaluation-hardware-and-software\/evaluation-boards-kits\/dc9003a-b.html. DC9003A-B SmartMesh IP Eval\/Dev Mote (Chip Antenna). Retrieved December 13, 2019 from https:\/\/www.analog.com\/en\/design-center\/evaluation-hardware-and-software\/evaluation-boards-kits\/dc9003a-b.html."},{"key":"e_1_2_1_4_1","volume-title":"Retrieved","author":"Full Stack Flask","year":"2019","unstructured":"Flask ( Full Stack Python). Retrieved December 13, 2019 from https:\/\/www.fullstackpython.com\/flask.html. Flask (Full Stack Python). Retrieved December 13, 2019 from https:\/\/www.fullstackpython.com\/flask.html."},{"key":"e_1_2_1_5_1","unstructured":"Grafana https:\/\/grafana.com\/.  Grafana https:\/\/grafana.com\/."},{"key":"e_1_2_1_6_1","volume-title":"Retrieved","author":"Representational State","year":"2019","unstructured":"Representational State Transfer (REST). Retrieved December 13, 2019 from https:\/\/en.wikipedia.org\/wiki\/Representational_state_transfer. Representational State Transfer (REST). Retrieved December 13, 2019 from https:\/\/en.wikipedia.org\/wiki\/Representational_state_transfer."},{"key":"e_1_2_1_7_1","volume-title":"Retrieved","author":"Constrained Application RFC","year":"2019","unstructured":"RFC 7252 Constrained Application Protocol (CoAP). Retrieved December 13, 2019 from http:\/\/coap.technology\/. RFC 7252 Constrained Application Protocol (CoAP). Retrieved December 13, 2019 from http:\/\/coap.technology\/."},{"key":"e_1_2_1_8_1","volume-title":"Retrieved","author":"Edge VersaSense","year":"2019","unstructured":"VersaSense Edge Gateway (SmartMesh IP). Retrieved December 13, 2019 from https:\/\/www.versasense.com\/pdf\/VersaSense-M01.pdf. VersaSense Edge Gateway (SmartMesh IP). Retrieved December 13, 2019 from https:\/\/www.versasense.com\/pdf\/VersaSense-M01.pdf."},{"key":"e_1_2_1_9_1","volume-title":"Retrieved","author":"Wireless VersaSense","year":"2019","unstructured":"VersaSense Wireless Device (SmartMesh IP). Retrieved December 13, 2019 from https:\/\/www.versasense.com\/pdf\/VersaSense-Pxx.pdf. VersaSense Wireless Device (SmartMesh IP). Retrieved December 13, 2019 from https:\/\/www.versasense.com\/pdf\/VersaSense-Pxx.pdf."},{"volume-title":"Retrieved","year":"2019","key":"e_1_2_1_10_1","unstructured":"WebSocket. Retrieved December 13, 2019 from https:\/\/en.wikipedia.org\/wiki\/WebSocket. WebSocket. Retrieved December 13, 2019 from https:\/\/en.wikipedia.org\/wiki\/WebSocket."},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 10th Central European Workshop on Services and Their Composition.","author":"Akkermans Sven","year":"2018","unstructured":"Sven Akkermans , Stefanos Peros , Nicolas Small , Wouter Joosen , and Danny Hughes . 2018 . Supporting IoT application middleware on edge and cloud infrastructures . In Proceedings of the 10th Central European Workshop on Services and Their Composition. Sven Akkermans, Stefanos Peros, Nicolas Small, Wouter Joosen, and Danny Hughes. 2018. Supporting IoT application middleware on edge and cloud infrastructures. In Proceedings of the 10th Central European Workshop on Services and Their Composition."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.01.040"},{"key":"e_1_2_1_13_1","first-page":"161","article-title":"Cyber-physical systems","volume":"12","author":"Baheti Radhakisan","year":"2011","unstructured":"Radhakisan Baheti and Helen Gill . 2011 . Cyber-physical systems . Impact Contr. Technol. 12 (2011), 161 -- 166 . Radhakisan Baheti and Helen Gill. 2011. Cyber-physical systems. Impact Contr. Technol. 12 (2011), 161--166.","journal-title":"Impact Contr. Technol."},{"key":"e_1_2_1_14_1","first-page":"452","article-title":"A survey on reactive programming","volume":"45","author":"Bainomugisha Engineer","year":"2013","unstructured":"Engineer Bainomugisha , Andoni Lombide Carreton , Tom van Cutsem , Stijn Mostinckx , and Wolfgang de Meuter . 2013 . A survey on reactive programming . ACM Comput. Surv. 45 , 452 (Aug. 2013). DOI:https:\/\/doi.org\/10.1145\/2501654.2501666 10.1145\/2501654.2501666 Engineer Bainomugisha, Andoni Lombide Carreton, Tom van Cutsem, Stijn Mostinckx, and Wolfgang de Meuter. 2013. A survey on reactive programming. ACM Comput. Surv. 45, 452 (Aug. 2013). DOI:https:\/\/doi.org\/10.1145\/2501654.2501666","journal-title":"ACM Comput. Surv."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2009.37"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the 2nd International Conference on Distributed Event-based Systems. ACM, 265--275","author":"Brito Andrey","year":"2008","unstructured":"Andrey Brito , Christof Fetzer , Heiko Sturzrehm , and Pascal Felber . 2008 . Speculative out-of-order event processing with software transaction memory . In Proceedings of the 2nd International Conference on Distributed Event-based Systems. ACM, 265--275 . Andrey Brito, Christof Fetzer, Heiko Sturzrehm, and Pascal Felber. 2008. Speculative out-of-order event processing with software transaction memory. In Proceedings of the 2nd International Conference on Distributed Event-based Systems. ACM, 265--275."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663532"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920873"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3390\/fi11040099"},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS\u201917)","author":"Troyer Christophe De","year":"2017","unstructured":"Christophe De Troyer , Jens Nicolay , and Wolfgang De Meuter . 2017 . First-class reactive programs for CPS . In Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS\u201917) . ACM, New York, NY, 21--26. DOI:https:\/\/doi.org\/10.1145\/314 1858.3141862 10.1145\/3141858.3141862 Christophe De Troyer, Jens Nicolay, and Wolfgang De Meuter. 2017. First-class reactive programs for CPS. In Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS\u201917). ACM, New York, NY, 21--26. DOI:https:\/\/doi.org\/10.1145\/3141858.3141862"},{"key":"#cr-split#-e_1_2_1_21_1.1","doi-asserted-by":"crossref","unstructured":"Christophe de Troyer Jens Nicolay and Wolfgang de Meuter. 2018. Building IoT systems using distributed first-class reactive programming. 185--192. DOI:https:\/\/doi.org\/10.1109\/CloudCom2018.2018.00045 10.1109\/CloudCom2018.2018.00045","DOI":"10.1109\/CloudCom2018.2018.00045"},{"key":"#cr-split#-e_1_2_1_21_1.2","doi-asserted-by":"crossref","unstructured":"Christophe de Troyer Jens Nicolay and Wolfgang de Meuter. 2018. Building IoT systems using distributed first-class reactive programming. 185--192. DOI:https:\/\/doi.org\/10.1109\/CloudCom2018.2018.00045","DOI":"10.1109\/CloudCom2018.2018.00045"},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN\u201905)","author":"Defago X.","year":"2005","unstructured":"X. Defago , P. Urban , N. Hayashibara , and T. Katayama . 2005. Definition and specification of accrual failure detectors . In Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN\u201905) . 206--215. DOI:https:\/\/doi.org\/10.1109\/DSN. 2005 .37 10.1109\/DSN.2005.37 X. Defago, P. Urban, N. Hayashibara, and T. Katayama. 2005. Definition and specification of accrual failure detectors. In Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN\u201905). 206--215. DOI:https:\/\/doi.org\/10.1109\/DSN.2005.37"},{"key":"e_1_2_1_23_1","volume-title":"Edward A. Lee, Slobodan Matic, Hiren D. Patel, Yang Zhao, and Jia Zou.","author":"Derler Patricia","year":"2008","unstructured":"Patricia Derler , Thomas Huining Feng , Edward A. Lee, Slobodan Matic, Hiren D. Patel, Yang Zhao, and Jia Zou. 2008 . PTIDES : A Programming Model for Distributed Real-Time Embedded Systems. Technical Report UCB\/EECS-2008-72. EECS Department, University of California , Berkeley. Patricia Derler, Thomas Huining Feng, Edward A. Lee, Slobodan Matic, Hiren D. Patel, Yang Zhao, and Jia Zou. 2008. PTIDES: A Programming Model for Distributed Real-Time Embedded Systems. Technical Report UCB\/EECS-2008-72. EECS Department, University of California, Berkeley."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640058"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640058"},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the 14th International Workshop on Adaptive and Reflective Middleware (ARM\u201915)","author":"Garc\u00eda-Valls Marisol","year":"2015","unstructured":"Marisol Garc\u00eda-Valls and Roberto Baldoni . 2015 . Adaptive middleware design for CPS: Considerations on the OS, resource managers, and the network run-time . In Proceedings of the 14th International Workshop on Adaptive and Reflective Middleware (ARM\u201915) . ACM, New York, NY, Article 3, 6 pages. DOI:https:\/\/doi.org\/10.1145\/2834965.2834968 10.1145\/2834965.2834968 Marisol Garc\u00eda-Valls and Roberto Baldoni. 2015. Adaptive middleware design for CPS: Considerations on the OS, resource managers, and the network run-time. In Proceedings of the 14th International Workshop on Adaptive and Reflective Middleware (ARM\u201915). ACM, New York, NY, Article 3, 6 pages. DOI:https:\/\/doi.org\/10.1145\/2834965.2834968"},{"volume-title":"Industrial Internet of Things and Cyber Manufacturing Systems","author":"Jeschke Sabina","key":"e_1_2_1_27_1","unstructured":"Sabina Jeschke , Christian Brecher , Tobias Meisen , Denis \u00d6zdemir , and Tim Eschert . 2017. Industrial Internet of Things and Cyber Manufacturing Systems . Springer International Publishing , Cham , 3--19. DOI:https:\/\/doi.org\/10.1007\/978-3-319-42559-7_1 10.1007\/978-3-319-42559-7_1 Sabina Jeschke, Christian Brecher, Tobias Meisen, Denis \u00d6zdemir, and Tim Eschert. 2017. Industrial Internet of Things and Cyber Manufacturing Systems. Springer International Publishing, Cham, 3--19. DOI:https:\/\/doi.org\/10.1007\/978-3-319-42559-7_1"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933267.2933307"},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the IEEE 32nd International Conference on Data Engineering (ICDE\u201916)","author":"Ji Yuanzhen","year":"2016","unstructured":"Yuanzhen Ji , Jun Sun , Anisoara Nica , Zbigniew Jerzak , Gregor Hackenbroich , and Christof Fetzer . 2016 . Quality-driven disorder handling for m-way sliding window stream joins . In Proceedings of the IEEE 32nd International Conference on Data Engineering (ICDE\u201916) . IEEE, 493--504. Yuanzhen Ji, Jun Sun, Anisoara Nica, Zbigniew Jerzak, Gregor Hackenbroich, and Christof Fetzer. 2016. Quality-driven disorder handling for m-way sliding window stream joins. In Proceedings of the IEEE 32nd International Conference on Data Engineering (ICDE\u201916). IEEE, 493--504."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2735371"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2488222.2488259"},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the 2010 ACM SIGMOD International Conference on Management of Data. ACM, 1081--1092","author":"Krishnamurthy Sailesh","year":"2010","unstructured":"Sailesh Krishnamurthy , Michael J. Franklin , Jeffrey Davis , Daniel Farina , Pasha Golovko , Alan Li , and Neil Thombre . 2010 . Continuous analytics over discontinuous streams . In Proceedings of the 2010 ACM SIGMOD International Conference on Management of Data. ACM, 1081--1092 . Sailesh Krishnamurthy, Michael J. Franklin, Jeffrey Davis, Daniel Farina, Pasha Golovko, Alan Li, and Neil Thombre. 2010. Continuous analytics over discontinuous streams. In Proceedings of the 2010 ACM SIGMOD International Conference on Management of Data. ACM, 1081--1092."},{"key":"e_1_2_1_33_1","volume-title":"Industrial Agents: Emerging Applications of Software Agents in Industry. Morgan Kaufmann.","author":"Leit\u00e3o Paulo","year":"2015","unstructured":"Paulo Leit\u00e3o and Stamatis Karnouskos . 2015 . Industrial Agents: Emerging Applications of Software Agents in Industry. Morgan Kaufmann. Paulo Leit\u00e3o and Stamatis Karnouskos. 2015. Industrial Agents: Emerging Applications of Software Agents in Industry. Morgan Kaufmann."},{"volume-title":"Proceedings of the 2005 ACM SIGMOD International Conference on Management of Data. ACM, 311--322","author":"Li Jin","key":"e_1_2_1_34_1","unstructured":"Jin Li , David Maier , Kristin Tufte , Vassilis Papadimos , and Peter A. Tucker . 2005. Semantics and evaluation techniques for window aggregates in data streams . In Proceedings of the 2005 ACM SIGMOD International Conference on Management of Data. ACM, 311--322 . Jin Li, David Maier, Kristin Tufte, Vassilis Papadimos, and Peter A. Tucker. 2005. Semantics and evaluation techniques for window aggregates in data streams. In Proceedings of the 2005 ACM SIGMOD International Conference on Management of Data. ACM, 311--322."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.14778\/1453856.1453890"},{"key":"e_1_2_1_36_1","unstructured":"Ingo Maier Tiark Rompf and Martin Odersky. 2010. Deprecating the observer pattern. EPFL-REPORT-148043. 18 pages.  Ingo Maier Tiark Rompf and Martin Odersky. 2010. Deprecating the observer pattern. EPFL-REPORT-148043. 18 pages."},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems. ACM, 142--153","author":"Margara Alessandro","year":"2014","unstructured":"Alessandro Margara and Guido Salvaneschi . 2014 . We have a DREAM: Distributed reactive programming with consistency guarantees . In Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems. ACM, 142--153 . Alessandro Margara and Guido Salvaneschi. 2014. We have a DREAM: Distributed reactive programming with consistency guarantees. In Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems. ACM, 142--153."},{"key":"e_1_2_1_38_1","volume-title":"Meeting predictable buffer limits in the parallel execution of event processing operators. In Proceedings of the 2014 IEEE International Conference on Byig Data (Big Data). IEEE, 402--411","author":"Mayer Ruben","year":"2014","unstructured":"Ruben Mayer , Boris Koldehofe , and Kurt Rothermel . 2014 . Meeting predictable buffer limits in the parallel execution of event processing operators. In Proceedings of the 2014 IEEE International Conference on Byig Data (Big Data). IEEE, 402--411 . Ruben Mayer, Boris Koldehofe, and Kurt Rothermel. 2014. Meeting predictable buffer limits in the parallel execution of event processing operators. In Proceedings of the 2014 IEEE International Conference on Byig Data (Big Data). IEEE, 402--411."},{"key":"e_1_2_1_39_1","first-page":"274","article-title":"Predictable low-latency event detection with parallel complex event processing","volume":"2","author":"Mayer Ruben","year":"2015","unstructured":"Ruben Mayer , Boris Koldehofe , and Kurt Rothermel . 2015 . Predictable low-latency event detection with parallel complex event processing . IEEE IoT J. 2 , 4 (2015), 274 -- 286 . Ruben Mayer, Boris Koldehofe, and Kurt Rothermel. 2015. Predictable low-latency event detection with parallel complex event processing. IEEE IoT J. 2, 4 (2015), 274--286.","journal-title":"IEEE IoT J."},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the 18th ACM\/IFIP\/USENIX Middleware Conference. ACM, 161--173","author":"Mayer Ruben","year":"2017","unstructured":"Ruben Mayer , Ahmad Slo , Muhammad Adnan Tariq , Kurt Rothermel , Manuel Gr\u00e4ber , and Umakishore Ramachandran . 2017 . SPECTRE: Supporting consumption policies in window-based parallel complex event processing . In Proceedings of the 18th ACM\/IFIP\/USENIX Middleware Conference. ACM, 161--173 . Ruben Mayer, Ahmad Slo, Muhammad Adnan Tariq, Kurt Rothermel, Manuel Gr\u00e4ber, and Umakishore Ramachandran. 2017. SPECTRE: Supporting consumption policies in window-based parallel complex event processing. In Proceedings of the 18th ACM\/IFIP\/USENIX Middleware Conference. ACM, 161--173."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.12694\/scpe.v18i4.1332"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cirp.2016.06.005"},{"key":"e_1_2_1_43_1","first-page":"4","article-title":"Adaptive speculative processing of out-of-order event streams","volume":"14","author":"Mutschler Christopher","year":"2014","unstructured":"Christopher Mutschler and Michael Philippsen . 2014 . Adaptive speculative processing of out-of-order event streams . ACM Trans. Internet Technol. 14 , 1 (2014), 4 . Christopher Mutschler and Michael Philippsen. 2014. Adaptive speculative processing of out-of-order event streams. ACM Trans. Internet Technol. 14, 1 (2014), 4.","journal-title":"ACM Trans. Internet Technol."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3141858.3141859"},{"key":"e_1_2_1_45_1","doi-asserted-by":"crossref","unstructured":"Florian Myter Christophe Scholliers and Wolfgang De Meuter. 2019. Distributed reactive programming for reactive distributed systems. arXiv preprint arXiv:1902.00524.  Florian Myter Christophe Scholliers and Wolfgang De Meuter. 2019. Distributed reactive programming for reactive distributed systems. arXiv preprint arXiv:1902.00524.","DOI":"10.22152\/programming-journal.org\/2019\/3\/5"},{"key":"e_1_2_1_46_1","volume-title":"Proceedings of the Design Automation Conference. 731--736","author":"Rajkumar R.","year":"1837","unstructured":"R. Rajkumar , I. Lee , L. Sha , and J. Stankovic . 2010. Cyber-physical systems: The next computing revolution . In Proceedings of the Design Automation Conference. 731--736 . DOI:https:\/\/doi.org\/10.1145\/ 1837 274.1837461 10.1145\/1837274.1837461 R. Rajkumar, I. Lee, L. Sha, and J. Stankovic. 2010. Cyber-physical systems: The next computing revolution. In Proceedings of the Design Automation Conference. 731--736. DOI:https:\/\/doi.org\/10.1145\/1837274.1837461"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3210284.3210293"},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the 22nd International Conference on Data Engineering (ICDE\u201906)","author":"Ryvkina Esther","year":"2006","unstructured":"Esther Ryvkina , Anurag S. Maskey , Mitch Cherniack , and Stan Zdonik . 2006 . Revision processing in a stream processing engine: A high-level design . In Proceedings of the 22nd International Conference on Data Engineering (ICDE\u201906) . IEEE, 141--141. Esther Ryvkina, Anurag S. Maskey, Mitch Cherniack, and Stan Zdonik. 2006. Revision processing in a stream processing engine: A high-level design. In Proceedings of the 22nd International Conference on Data Engineering (ICDE\u201906). IEEE, 141--141."},{"volume-title":"Computing TCP\u2019s Retransmission Timer. RFC 6298","author":"Shafranovich Y.","key":"e_1_2_1_49_1","unstructured":"Y. Shafranovich . 2011. Computing TCP\u2019s Retransmission Timer. RFC 6298 . RFC Editor. Retrieved from https:\/\/tools.ietf.org\/html\/rfc6298. Y. Shafranovich. 2011. Computing TCP\u2019s Retransmission Timer. RFC 6298. RFC Editor. Retrieved from https:\/\/tools.ietf.org\/html\/rfc6298."},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the International Conference on Wireless Communications and Signal Processing (WCSP\u201911)","author":"Shi Jianhua","year":"2011","unstructured":"Jianhua Shi , Jiafu Wan , Hehua Yan , and Hui Suo . 2011 . A survey of cyber-physical systems . In Proceedings of the International Conference on Wireless Communications and Signal Processing (WCSP\u201911) . IEEE, 1--6. Jianhua Shi, Jiafu Wan, Hehua Yan, and Hui Suo. 2011. A survey of cyber-physical systems. In Proceedings of the International Conference on Wireless Communications and Signal Processing (WCSP\u201911). IEEE, 1--6."},{"key":"e_1_2_1_51_1","volume-title":"Sensors Handbook","author":"Soloman Sabrie","unstructured":"Sabrie Soloman . 2010. Sensors Handbook ( 2 nd ed.). Sabrie Soloman. 2010. Sensors Handbook (2nd ed.).","edition":"2"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/LWC.2017.2716932"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/3324320.3324324"},{"key":"e_1_2_1_54_1","volume-title":"Proceedings of the 23rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. ACM, 263--274","author":"Srivastava Utkarsh","year":"2004","unstructured":"Utkarsh Srivastava and Jennifer Widom . 2004 . Flexible time management in data stream systems . In Proceedings of the 23rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. ACM, 263--274 . Utkarsh Srivastava and Jennifer Widom. 2004. Flexible time management in data stream systems. In Proceedings of the 23rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. ACM, 263--274."},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1107499.1107504"},{"key":"e_1_2_1_56_1","volume-title":"Harlow, Essex: Pearson.","author":"Tanenbaum Andrew S.","year":"2014","unstructured":"Andrew S. Tanenbaum , David Wetherall , 2014 . Computer Networks . Harlow, Essex: Pearson. Andrew S. Tanenbaum, David Wetherall, et al. 2014. Computer Networks. Harlow, Essex: Pearson."},{"key":"e_1_2_1_57_1","unstructured":"Linear Technology (Ed.). 2016. SmartMesh IP Embedded Manager CLI Guide. Linear Technology.  Linear Technology (Ed.). 2016. SmartMesh IP Embedded Manager CLI Guide. Linear Technology."},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1198390"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2015.04.008"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093742.3093921"},{"key":"e_1_2_1_61_1","volume-title":"Proceedings of the 28th International Conference on Distributed Computing Systems. 581--588","author":"Zhang Y.","year":"2008","unstructured":"Y. Zhang , C. Gill , and C. Lu . 2008. Reconfigurable real-time middleware for distributed cyber-physical systems with aperiodic events . In Proceedings of the 28th International Conference on Distributed Computing Systems. 581--588 . DOI:https:\/\/doi.org\/10.1109\/ICDCS. 2008 .96 10.1109\/ICDCS.2008.96 Y. Zhang, C. Gill, and C. Lu. 2008. Reconfigurable real-time middleware for distributed cyber-physical systems with aperiodic events. In Proceedings of the 28th International Conference on Distributed Computing Systems. 581--588. DOI:https:\/\/doi.org\/10.1109\/ICDCS.2008.96"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2858767"},{"key":"e_1_2_1_63_1","volume-title":"Proceedings of the 2015 12th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD\u201915)","author":"Zhou K.","year":"2015","unstructured":"K. Zhou , Taigang Liu , and Lifeng Zhou . 2015 . Industry 4.0: Towards future industrial opportunities and challenges . In Proceedings of the 2015 12th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD\u201915) . 2147--2152. DOI:https:\/\/doi.org\/10.1109\/FSKD.2015.7382284 10.1109\/FSKD.2015.7382284 K. Zhou, Taigang Liu, and Lifeng Zhou. 2015. Industry 4.0: Towards future industrial opportunities and challenges. In Proceedings of the 2015 12th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD\u201915). 2147--2152. DOI:https:\/\/doi.org\/10.1109\/FSKD.2015.7382284"}],"container-title":["ACM Transactions on Internet of Things"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385960","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385960","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:15Z","timestamp":1750197735000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385960"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6]]},"references-count":64,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,8,31]]}},"alternative-id":["10.1145\/3385960"],"URL":"https:\/\/doi.org\/10.1145\/3385960","relation":{},"ISSN":["2691-1914","2577-6207"],"issn-type":[{"type":"print","value":"2691-1914"},{"type":"electronic","value":"2577-6207"}],"subject":[],"published":{"date-parts":[[2020,6]]},"assertion":[{"value":"2019-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}