{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T06:11:12Z","timestamp":1768630272977,"version":"3.49.0"},"reference-count":51,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2018,11,30]],"date-time":"2018-11-30T00:00:00Z","timestamp":1543536000000},"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":["ACM Trans. Comput. Syst."],"published-print":{"date-parts":[[2018,11,30]]},"abstract":"<jats:p>\n            A large class of IoT applications read sensors, execute application logic, and actuate actuators. However, the lack of high-level programming abstractions compromises correctness, especially in the presence of failures and unwanted interleaving between applications. A key problem arises when operations on IoT devices or the application itself fails, which leads to inconsistencies between the physical state and application state, breaking application semantics and causing undesired consequences. Transactions are a well-established abstraction for correctness, but assume properties that are absent in an IoT context. In this article, we study one such environment, smart home, and establish inconsistencies manifesting out of failures. We propose an abstraction called\n            <jats:italic>transactuation<\/jats:italic>\n            that empowers developers to build reliable applications. Our runtime,\n            <jats:italic>Relacs<\/jats:italic>\n            , implements the abstraction atop a real smart-home platform. We evaluate programmability, performance, and effectiveness of\n            <jats:italic>transactuations<\/jats:italic>\n            to demonstrate its potential as a powerful abstraction and execution model.\n          <\/jats:p>","DOI":"10.1145\/3380907","type":"journal-article","created":{"date-parts":[[2020,5,31]],"date-time":"2020-05-31T04:15:56Z","timestamp":1590898556000},"page":"1-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Transactuations"],"prefix":"10.1145","volume":"36","author":[{"given":"Tanakorn","family":"Leesatapornwongsa","sequence":"first","affiliation":[{"name":"Samsung Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aritra","family":"Sengupta","sequence":"additional","affiliation":[{"name":"Samsung Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masoud Saeida","family":"Ardekani","sequence":"additional","affiliation":[{"name":"Samsung Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gustavo","family":"Petri","sequence":"additional","affiliation":[{"name":"Arm Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cesar A.","family":"Stuardo","sequence":"additional","affiliation":[{"name":"University of Chicago"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,5,30]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Amazon AWS Lambda. [n.d.]. Retrieved from https:\/\/aws.amazon.com\/lambda\/.  Amazon AWS Lambda. [n.d.]. Retrieved from https:\/\/aws.amazon.com\/lambda\/."},{"key":"e_1_2_1_2_1","unstructured":"Arrow functions. [n.d.]. Retrieved from https:\/\/developer.mozilla.org\/en-US\/docs\/Web\/JavaScript\/Reference\/Functions\/Arrow_functions.  Arrow functions. [n.d.]. Retrieved from https:\/\/developer.mozilla.org\/en-US\/docs\/Web\/JavaScript\/Reference\/Functions\/Arrow_functions."},{"key":"e_1_2_1_3_1","unstructured":"AWS Lambda Retry Behavior. [n.d.]. Retrieved from https:\/\/docs.aws.amazon.com\/lambda\/latest\/dg\/retries-on-errors.html.  AWS Lambda Retry Behavior. [n.d.]. Retrieved from https:\/\/docs.aws.amazon.com\/lambda\/latest\/dg\/retries-on-errors.html."},{"key":"e_1_2_1_4_1","unstructured":"Azure Cosmos DB server-side programming: Stored procedures database triggers and UDFs. [n.d.]. Retrieved from https:\/\/docs.microsoft.com\/en-us\/azure\/cosmos-db\/programming.  Azure Cosmos DB server-side programming: Stored procedures database triggers and UDFs. [n.d.]. Retrieved from https:\/\/docs.microsoft.com\/en-us\/azure\/cosmos-db\/programming."},{"key":"e_1_2_1_5_1","unstructured":"Bluetooth Low Energy. [n.d.]. Retrieved from https:\/\/www.bluetooth.com.  Bluetooth Low Energy. [n.d.]. Retrieved from https:\/\/www.bluetooth.com."},{"key":"e_1_2_1_6_1","unstructured":"CO2 Vent. [n.d.]. Retrieved from https:\/\/github.com\/SmartThingsCommunity\/SmartThingsPublic\/tree\/master\/smartapps\/dianoga\/co2-vent.src.  CO2 Vent. [n.d.]. Retrieved from https:\/\/github.com\/SmartThingsCommunity\/SmartThingsPublic\/tree\/master\/smartapps\/dianoga\/co2-vent.src."},{"key":"e_1_2_1_7_1","unstructured":"Count Lines of Code. [n.d.]. Retrieved from http:\/\/cloc.sourceforge.net.  Count Lines of Code. [n.d.]. Retrieved from http:\/\/cloc.sourceforge.net."},{"key":"e_1_2_1_8_1","unstructured":"Expressions. [n.d.]. Retrieved from https:\/\/docs.python.org\/2\/reference\/expressions.html.  Expressions. [n.d.]. Retrieved from https:\/\/docs.python.org\/2\/reference\/expressions.html."},{"key":"e_1_2_1_9_1","unstructured":"Groovy AST Interface. [n.d.]. Retrieved from http:\/\/docs.groovy-lang.org\/docs\/groovy-2.4.0\/html\/api\/org\/codehaus\/groovy\/ast\/package-summary.html.  Groovy AST Interface. [n.d.]. Retrieved from http:\/\/docs.groovy-lang.org\/docs\/groovy-2.4.0\/html\/api\/org\/codehaus\/groovy\/ast\/package-summary.html."},{"key":"e_1_2_1_10_1","unstructured":"Inconsistent Behavior. [n.d.]. Retrieved from https:\/\/community.smartthings.com\/t\/inconsistent-behavior\/35284.  Inconsistent Behavior. [n.d.]. Retrieved from https:\/\/community.smartthings.com\/t\/inconsistent-behavior\/35284."},{"key":"e_1_2_1_11_1","unstructured":"IoTBench-test-suite. [n.d.]. Retrieved from https:\/\/github.com\/IoTBench\/IoTBench-test-suite\/tree\/master\/openHAB.  IoTBench-test-suite. [n.d.]. Retrieved from https:\/\/github.com\/IoTBench\/IoTBench-test-suite\/tree\/master\/openHAB."},{"key":"e_1_2_1_12_1","unstructured":"Lambda Expressions. [n.d.]. Retrieved from https:\/\/docs.oracle.com\/javase\/tutorial\/java\/javaOO\/lambdaexpressions.html.  Lambda Expressions. [n.d.]. Retrieved from https:\/\/docs.oracle.com\/javase\/tutorial\/java\/javaOO\/lambdaexpressions.html."},{"key":"e_1_2_1_13_1","unstructured":"OpenHAB: Empowering the Smart Home. [n.d.]. Retrieved from https:\/\/www.openhab.org.  OpenHAB: Empowering the Smart Home. [n.d.]. Retrieved from https:\/\/www.openhab.org."},{"key":"e_1_2_1_14_1","unstructured":"Raspberry Pi 3 Model B. [n.d.]. Retrieved from https:\/\/www.raspberrypi.org\/products\/raspberry-pi-3-model-b\/.  Raspberry Pi 3 Model B. [n.d.]. Retrieved from https:\/\/www.raspberrypi.org\/products\/raspberry-pi-3-model-b\/."},{"key":"e_1_2_1_15_1","unstructured":"SmartThings. [n.d.]. Retrieved from http:\/\/www.smartthings.com\/.  SmartThings. [n.d.]. Retrieved from http:\/\/www.smartthings.com\/."},{"key":"e_1_2_1_16_1","unstructured":"SSA1\/SSA2 Instruction Manual. [n.d.]. Retrieved from https:\/\/support.smartthings.com\/hc\/en-us\/article_attachments\/200715310\/ssa_manual_14may2011_-_new_address0.pdf.  SSA1\/SSA2 Instruction Manual. [n.d.]. Retrieved from https:\/\/support.smartthings.com\/hc\/en-us\/article_attachments\/200715310\/ssa_manual_14may2011_-_new_address0.pdf."},{"key":"e_1_2_1_17_1","unstructured":"Your Lambda function might execute twice. Be prepared! [n.d.]. Retrieved from https:\/\/cloudonaut.io\/your-lambda-function-might-execute-twice-deal-with-it\/.  Your Lambda function might execute twice. Be prepared! [n.d.]. Retrieved from https:\/\/cloudonaut.io\/your-lambda-function-might-execute-twice-deal-with-it\/."},{"key":"e_1_2_1_18_1","unstructured":"Z-Wave Alliance. [n.d.]. Retrieved from http:\/\/www.z-wavealliance.org.  Z-Wave Alliance. [n.d.]. Retrieved from http:\/\/www.z-wavealliance.org."},{"key":"e_1_2_1_19_1","unstructured":"ZigBee Alliance. [n.d.]. Retrieved from http:\/\/www.zigbee.org\/.  ZigBee Alliance. [n.d.]. Retrieved from http:\/\/www.zigbee.org\/."},{"key":"e_1_2_1_20_1","unstructured":"2018. Web Services SmartThings. Retrieved from https:\/\/docs.smartthings.com\/en\/latest\/smartapp-web-services-developers-guide\/index.html.  2018. Web Services SmartThings. Retrieved from https:\/\/docs.smartthings.com\/en\/latest\/smartapp-web-services-developers-guide\/index.html."},{"key":"e_1_2_1_21_1","unstructured":"2019. SmartThings Smart Apps. Retrieved from https:\/\/github.com\/SmartThingsCommunity\/SmartThingsPublic\/tree\/master\/smartapps.  2019. SmartThings Smart Apps. Retrieved from https:\/\/github.com\/SmartThingsCommunity\/SmartThingsPublic\/tree\/master\/smartapps."},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 18th Doctoral Symposium of the 18th International Middleware Conference (MIDDLEWARE\u201917)","author":"Ardekani Masoud Saeida","unstructured":"Masoud Saeida Ardekani , Rayman Preet Singh , Nitin Agrawal , Douglas B. Terry , and Riza O. Suminto . 2017. Rivulet: A fault-tolerant platform for smart-home applications . In Proceedings of the 18th Doctoral Symposium of the 18th International Middleware Conference (MIDDLEWARE\u201917) . 41--54. Masoud Saeida Ardekani, Rayman Preet Singh, Nitin Agrawal, Douglas B. Terry, and Riza O. Suminto. 2017. Rivulet: A fault-tolerant platform for smart-home applications. In Proceedings of the 18th Doctoral Symposium of the 18th International Middleware Conference (MIDDLEWARE\u201917). 41--54."},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI\u201914)","author":"Ardekani Masoud Saeida","unstructured":"Masoud Saeida Ardekani and Douglas B. Terry . 2014. A self-configurable geo-replicated cloud storage system . In Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI\u201914) . 367--381. Masoud Saeida Ardekani and Douglas B. Terry. 2014. A self-configurable geo-replicated cloud storage system. In Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI\u201914). 367--381."},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the USENIX Annual Technical Conference (ATC\u201918)","author":"Celik Z. Berkay","year":"2018","unstructured":"Z. Berkay Celik , Patrick McDaniel , and Gang Tan . 2018 . Soteria: Automated IoT safety and security analysis . In Proceedings of the USENIX Annual Technical Conference (ATC\u201918) . 147--158. Z. Berkay Celik, Patrick McDaniel, and Gang Tan. 2018. Soteria: Automated IoT safety and security analysis. In Proceedings of the USENIX Annual Technical Conference (ATC\u201918). 147--158."},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the USENIX Annual Technical Conference (ATC\u201915)","author":"Croft Jason","year":"2015","unstructured":"Jason Croft , Ratul Mahajan , Matthew Caesar , and Madan Musuvathi . 2015 . Systematically exploring the behavior of control programs . In Proceedings of the USENIX Annual Technical Conference (ATC\u201915) . 165--176. Jason Croft, Ratul Mahajan, Matthew Caesar, and Madan Musuvathi. 2015. Systematically exploring the behavior of control programs. In Proceedings of the USENIX Annual Technical Conference (ATC\u201915). 165--176."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064188"},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the 9th Symposium on Networked Systems Design and Implementation (NSDI\u201912)","author":"Dixon Colin","year":"2012","unstructured":"Colin Dixon , Ratul Mahajan , Sharad Agarwal , A. J. Brush , Bongshin Lee , Stefan Saroiu , and Paramvir Bahl . 2012 . An operating system for the home . In Proceedings of the 9th Symposium on Networked Systems Design and Implementation (NSDI\u201912) . 337--352. Colin Dixon, Ratul Mahajan, Sharad Agarwal, A. J. Brush, Bongshin Lee, Stefan Saroiu, and Paramvir Bahl. 2012. An operating system for the home. In Proceedings of the 9th Symposium on Networked Systems Design and Implementation (NSDI\u201912). 337--352."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2013.01.010"},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the 12th Symposium on Operating Systems Design and Implementation (OSDI\u201916)","author":"Guerraoui Rachid","year":"2016","unstructured":"Rachid Guerraoui , Matej Pavlovic , and Dragos-Adrian Seredinschi . 2016 . Incremental consistency guarantees for replicated objects . In Proceedings of the 12th Symposium on Operating Systems Design and Implementation (OSDI\u201916) . 169--184. Rachid Guerraoui, Matej Pavlovic, and Dragos-Adrian Seredinschi. 2016. Incremental consistency guarantees for replicated objects. In Proceedings of the 12th Symposium on Operating Systems Design and Implementation (OSDI\u201916). 169--184."},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the 5th ACM Symposium on Cloud Computing (SoCC\u201914)","author":"Gunawi Haryadi S.","unstructured":"Haryadi S. Gunawi , Mingzhe Hao , Tanakorn Leesatapornwongsa , Tiratat Patana-anake, Thanh Do , Jeffry Adityatama , Kurnia J. Eliazar , Agung Laksono , Jeffrey F. Lukman , Vincentius Martin , and Anang D. Satria . 2014. What bugs live in the cloud? A study of 3000+ issues in cloud systems . In Proceedings of the 5th ACM Symposium on Cloud Computing (SoCC\u201914) . 7:1\u20137:14. Haryadi S. Gunawi, Mingzhe Hao, Tanakorn Leesatapornwongsa, Tiratat Patana-anake, Thanh Do, Jeffry Adityatama, Kurnia J. Eliazar, Agung Laksono, Jeffrey F. Lukman, Vincentius Martin, and Anang D. Satria. 2014. What bugs live in the cloud? A study of 3000+ issues in cloud systems. In Proceedings of the 5th ACM Symposium on Cloud Computing (SoCC\u201914). 7:1\u20137:14."},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the 4th Conference on Innovative Data Systems Research (CIDR\u201909)","author":"Helland Pat","year":"2009","unstructured":"Pat Helland and Dave Cambell . 2009 . Building on quicksand . In Proceedings of the 4th Conference on Innovative Data Systems Research (CIDR\u201909) . Pat Helland and Dave Cambell. 2009. Building on quicksand. In Proceedings of the 4th Conference on Innovative Data Systems Research (CIDR\u201909)."},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of the 8th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud\u201916)","author":"Hendrickson Scott","unstructured":"Scott Hendrickson , Stephen Sturdevant , Tyler Harter , Venkateshwaran Venkataramani , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2016. Serverless computation with OpenLambda . In Proceedings of the 8th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud\u201916) . Scott Hendrickson, Stephen Sturdevant, Tyler Harter, Venkateshwaran Venkataramani, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2016. Serverless computation with OpenLambda. In Proceedings of the 8th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud\u201916)."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2070942.2070966"},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201912)","author":"Kapritsos Manos","year":"2012","unstructured":"Manos Kapritsos , Yang Wang , Vivien Qu\u00e9ma , Allen Clement , Lorenzo Alvisi , and Mike Dahlin . 2012 . All about eve: Execute-verify replication for multi-core servers . In Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201912) . 237--250. Manos Kapritsos, Yang Wang, Vivien Qu\u00e9ma, Allen Clement, Lorenzo Alvisi, and Mike Dahlin. 2012. All about eve: Execute-verify replication for multi-core servers. In Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201912). 237--250."},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the 13th International Conference on Mining Software Repositories (MSR\u201916)","author":"Kery Mary Beth","unstructured":"Mary Beth Kery , Claire Le Goues , and Brad A. Myers . 2016. Examining programmer practices for locally handling exceptions . In Proceedings of the 13th International Conference on Mining Software Repositories (MSR\u201916) . 484\u2013487. Mary Beth Kery, Claire Le Goues, and Brad A. Myers. 2016. Examining programmer practices for locally handling exceptions. In Proceedings of the 13th International Conference on Mining Software Repositories (MSR\u201916). 484\u2013487."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465363"},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI\u201914)","author":"Leesatapornwongsa Tanakorn","unstructured":"Tanakorn Leesatapornwongsa , Mingzhe Hao , Pallavi Joshi , Jeffrey F. Lukman , and Haryadi S. Gunawi . 2014. SAMC: Semantic-aware model checking for fast discovery of deep bugs in cloud systems . In Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI\u201914) . 399--414. Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, and Haryadi S. Gunawi. 2014. SAMC: Semantic-aware model checking for fast discovery of deep bugs in cloud systems. In Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI\u201914). 399--414."},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737095.2737115"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133850.3133860"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095829"},{"key":"e_1_2_1_44_1","volume-title":"Proceedings of the USENIX Annual Technical Conference (USENIXATC\u201918)","author":"Oakes Edward","year":"2018","unstructured":"Edward Oakes , Leon Yang , Dennis Zhou , Kevin Houck , Tyler Harter , Andrea Arpaci-Dusseau , and Remzi Arpaci-Dusseau . 2018 . SOCK: Rapid task provisioning with serverless-optimized containers . In Proceedings of the USENIX Annual Technical Conference (USENIXATC\u201918) . 57--70. Edward Oakes, Leon Yang, Dennis Zhou, Kevin Houck, Tyler Harter, Andrea Arpaci-Dusseau, and Remzi Arpaci-Dusseau. 2018. SOCK: Rapid task provisioning with serverless-optimized containers. In Proceedings of the USENIX Annual Technical Conference (USENIXATC\u201918). 57--70."},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2588558"},{"key":"e_1_2_1_46_1","volume-title":"Proceedings of the USENIX Annual Technical Conference (USENIXATC\u201919)","author":"Sengupta Aritra","unstructured":"Aritra Sengupta , Tanakorn Leesatapornwongsa , Masoud Saeida Ardekani , and Cesar A. Stuardo . 2019. Transactuations: Where transactions meet the physical world . In Proceedings of the USENIX Annual Technical Conference (USENIXATC\u201919) . 91--106. Aritra Sengupta, Tanakorn Leesatapornwongsa, Masoud Saeida Ardekani, and Cesar A. Stuardo. 2019. Transactuations: Where transactions meet the physical world. In Proceedings of the USENIX Annual Technical Conference (USENIXATC\u201919). 91--106."},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of the 27th International Conference on Concurrency Theory (CONCUR\u201916)","volume":"59","author":"Shapiro M.","unstructured":"M. Shapiro , M. S. Ardekani , and G. Petri . 2016. Consistency in 3D . In Proceedings of the 27th International Conference on Concurrency Theory (CONCUR\u201916) (LIPIcs), Vol. 59 . 3:1\u20133:14. M. Shapiro, M. S. Ardekani, and G. Petri. 2016. Consistency in 3D. In Proceedings of the 27th International Conference on Concurrency Theory (CONCUR\u201916) (LIPIcs), Vol. 59. 3:1\u20133:14."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2010.145"},{"key":"e_1_2_1_49_1","volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI\u201914)","author":"Ur Blase","unstructured":"Blase Ur , Elyse McManus , Melwyn Pak Yong Ho , and Michael L. Littman . 2014. Practical trigger-action programming in the smart home . In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI\u201914) . 803--812. Blase Ur, Elyse McManus, Melwyn Pak Yong Ho, and Michael L. Littman. 2014. Practical trigger-action programming in the smart home. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI\u201914). 803--812."},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the 25th Annual Network and Distributed System Security Symposium (NDSS\u201918)","author":"Wang Qi","unstructured":"Qi Wang , Wajih Ul Hassan , Adam M. Bates , and Carl A. Gunter . 2018. Fear and logging in the Internet of Things . In Proceedings of the 25th Annual Network and Distributed System Security Symposium (NDSS\u201918) . Qi Wang, Wajih Ul Hassan, Adam M. Bates, and Carl A. Gunter. 2018. Fear and logging in the Internet of Things. In Proceedings of the 25th Annual Network and Distributed System Security Symposium (NDSS\u201918)."},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/1558977.1558994"},{"key":"e_1_2_1_52_1","volume-title":"Toward user-centric feature composition for the Internet of Things. CoRR abs\/1510.06714","author":"Zave Pamela","year":"2015","unstructured":"Pamela Zave , Eric Cheung , and Svetlana Yarosh . 2015. Toward user-centric feature composition for the Internet of Things. CoRR abs\/1510.06714 ( 2015 ). Pamela Zave, Eric Cheung, and Svetlana Yarosh. 2015. Toward user-centric feature composition for the Internet of Things. CoRR abs\/1510.06714 (2015)."}],"container-title":["ACM Transactions on Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3380907","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3380907","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:46Z","timestamp":1750199566000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3380907"}},"subtitle":["Where Transactions Meet the Physical World"],"short-title":[],"issued":{"date-parts":[[2018,11,30]]},"references-count":51,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,11,30]]}},"alternative-id":["10.1145\/3380907"],"URL":"https:\/\/doi.org\/10.1145\/3380907","relation":{},"ISSN":["0734-2071","1557-7333"],"issn-type":[{"value":"0734-2071","type":"print"},{"value":"1557-7333","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11,30]]},"assertion":[{"value":"2019-10-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-05-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}