{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:58Z","timestamp":1750220998324,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T00:00:00Z","timestamp":1555286400000},"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":[],"published-print":{"date-parts":[[2019,4,15]]},"DOI":"10.1145\/3302505.3310066","type":"proceedings-article","created":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T12:18:36Z","timestamp":1553516316000},"page":"25-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["APEX"],"prefix":"10.1145","author":[{"given":"Qian","family":"Zhou","sequence":"first","affiliation":[{"name":"Stony Brook University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fan","family":"Ye","sequence":"additional","affiliation":[{"name":"Stony Brook University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Apple. {n. d.}. HomeKit. https:\/\/developer.apple.com\/homekit\/.  Apple. {n. d.}. HomeKit. https:\/\/developer.apple.com\/homekit\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Belkin. {n. d.}. Using IFTTT with WeMo. https:\/\/www.belkin.com\/us\/wemo\/ifttt\/.  Belkin. {n. d.}. Using IFTTT with WeMo. https:\/\/www.belkin.com\/us\/wemo\/ifttt\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Philip A Bernstein Vassos Hadzilacos and Nathan Goodman. 1987. Concurrency control and recovery in database systems. (1987).   Philip A Bernstein Vassos Hadzilacos and Nathan Goodman. 1987. Concurrency control and recovery in database systems. (1987)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92915"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-017-1066-5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/356586.356588"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/IoTDI.2015.38"},{"key":"e_1_3_2_1_8_1","unstructured":"Chuhan Gao Varun Chandrasekaran Kassem Fawaz and Suman Banerjee. 2018. Traversing the Quagmire that is Privacy in your Smart Home. (2018).  Chuhan Gao Varun Chandrasekaran Kassem Fawaz and Suman Banerjee. 2018. Traversing the Quagmire that is Privacy in your Smart Home. (2018)."},{"volume":"81","volume-title":"VLDB","author":"Jim","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/289.291"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3054977.3054988"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.72.0074"},{"key":"e_1_3_2_1_13_1","unstructured":"Patrick Hurley. 2014. A concise introduction to logic. Nelson Education.  Patrick Hurley. 2014. A concise introduction to logic. Nelson Education."},{"key":"e_1_3_2_1_14_1","unstructured":"IFTTT. {n. d.}. IFTTT. https:\/\/ifttt.com\/discover.  IFTTT. {n. d.}. IFTTT. https:\/\/ifttt.com\/discover."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993422.2993426"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737095.2737115"},{"key":"e_1_3_2_1_17_1","unstructured":"Logitech. {n. d.}. Logitech Harmony Smart Control. https:\/\/www.logitech.com\/en-us\/harmony-universal-remotes.  Logitech. {n. d.}. Logitech Harmony Smart Control. https:\/\/www.logitech.com\/en-us\/harmony-universal-remotes."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3054977.3054989"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843717"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/PAWR.2013.6490222"},{"key":"e_1_3_2_1_21_1","first-page":"292","article-title":"The principle of commitment ordering, or guaranteeing serializability in a heterogeneous environment of multiple autonomous resource managers using atomic commitment","volume":"92","author":"Raz Yoav","year":"1992","journal-title":"VLDB"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Francesco Restuccia Salvatore D?Oro and Tommaso Melodia. 2018. Securing the Internet of Things in the Age of Machine Learning and Software-defined Networking. IEEE Internet of Things Journal (2018).  Francesco Restuccia Salvatore D?Oro and Tommaso Melodia. 2018. Securing the Internet of Things in the Age of Machine Learning and Software-defined Networking. IEEE Internet of Things Journal (2018).","DOI":"10.1109\/JIOT.2018.2846040"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3084041.3084061"},{"volume-title":"MSDN Library","year":"1999","author":"Simonyi Charles","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","unstructured":"Andrew S Tanenbaum. 2009. Modern operating system. Pearson Education Inc.   Andrew S Tanenbaum. 2009. Modern operating system. Pearson Education Inc."},{"key":"e_1_3_2_1_26_1","unstructured":"Andrew S Tanenbaum and Albert S Woodhull. 1987. Operating systems: design and implementation. Vol. 2. Prentice-Hall Englewood Cliffs NJ.   Andrew S Tanenbaum and Albert S Woodhull. 1987. Operating systems: design and implementation. Vol. 2. Prentice-Hall Englewood Cliffs NJ."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Gerhard Weikum and Gottfried Vossen. 2001. Transactional information systems: theory algorithms and the practice of concurrency control and recovery. Elsevier.   Gerhard Weikum and Gottfried Vossen. 2001. Transactional information systems: theory algorithms and the practice of concurrency control and recovery. Elsevier.","DOI":"10.1016\/B978-155860508-4\/50005-3"},{"key":"e_1_3_2_1_28_1","unstructured":"Pengyu Zhang. {n. d.}. Enabling Low-power Communication Sensing and Computation on Internet-of-Things. ({n. d.}).  Pengyu Zhang. {n. d.}. Enabling Low-power Communication Sensing and Computation on Internet-of-Things. ({n. d.})."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3054977.3057308"},{"volume-title":"Fine-Grained Access Control for Internet-of-Things in Enterprise Environments. IEEE INFOCOM 2018","year":"2018","author":"Zhou Qian","key":"e_1_3_2_1_30_1"}],"event":{"name":"IoTDI '19: International Conference on Internet-of-Things Design and Implementation","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE CS"],"location":"Montreal Quebec Canada","acronym":"IoTDI '19"},"container-title":["Proceedings of the International Conference on Internet of Things Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302505.3310066","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302505.3310066","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:37Z","timestamp":1750206337000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302505.3310066"}},"subtitle":["automatic precondition execution with isolation and atomicity in internet-of-things"],"short-title":[],"issued":{"date-parts":[[2019,4,15]]},"references-count":30,"alternative-id":["10.1145\/3302505.3310066","10.1145\/3302505"],"URL":"https:\/\/doi.org\/10.1145\/3302505.3310066","relation":{},"subject":[],"published":{"date-parts":[[2019,4,15]]},"assertion":[{"value":"2019-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}