<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Scott Eisele</style></author><author><style face="normal" font="default" size="100%">Aron Laszka</style></author><author><style face="normal" font="default" size="100%">Anastasia Mavridou</style></author><author><style face="normal" font="default" size="100%">Dubey, Abhishek</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities</style></title><secondary-title><style face="normal" font="default" size="100%">Blockchain-2018: The 2018 IEEE International Conference on Blockchain</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2018</style></year><pub-dates><date><style  face="normal" font="default" size="100%">08/2018</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://arxiv.org/abs/1804.08133</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">https://archive.isis.vanderbilt.edu/sites/default/files/Eisele et al. - SolidWorx A Resilient and Trustworthy Transactive.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Halifax, Nova Scotia</style></pub-location><volume><style face="normal" font="default" size="100%">abs/1804.08133</style></volume><abstract><style face="normal" font="default" size="100%">Internet of Things and data sciences are fueling the development of innovative solutions for various applications in Smart and Connected Communities (SCC). These applications provide participants with the capability to exchange not only data but also resources, which raises the concerns of integrity, trust, and above all the need for fair and optimal solutions to the problem of resource allocation. This exchange of information and resources leads to a problem where the stakeholders of the system may have limited trust in each other. Thus, collaboratively reaching consensus on when, how, and who should access certain resources becomes problematic. This paper presents SolidWorx, a blockchain-based platform that provides key mechanisms required for arbitrating resource consumption across different SCC applications in a domain agnostic manner. For example, it introduces and implements a hybrid-solver pattern, where complex optimization computation is handled off-blockchain while solution validation is performed by a smart contract. To ensure correctness, the smart contract of SolidWorx is generated and veriﬁed using a model-based approach.</style></abstract></record></records></xml>