{"title":"ISADS 2019 Message from the ISADS Committee Chair","authors":"","doi":"10.1109/isads45777.2019.9155970","DOIUrl":"https://doi.org/10.1109/isads45777.2019.9155970","url":null,"abstract":"","PeriodicalId":331050,"journal":{"name":"2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115497720","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Guanqiu Qi, Zhiqin Zhu, Matthew Haner, Jaesung Sim, Jian Sun, Y. Chai, Yinong Chen, Li Yongfu
{"title":"Blockchain based Consensus Checking in Cloud Storage","authors":"Guanqiu Qi, Zhiqin Zhu, Matthew Haner, Jaesung Sim, Jian Sun, Y. Chai, Yinong Chen, Li Yongfu","doi":"10.1109/isads45777.2019.9155713","DOIUrl":"https://doi.org/10.1109/isads45777.2019.9155713","url":null,"abstract":"In cloud computing, data is duplicated to prevent data loss. One way to achieve data consistency in such a distributed computing systems is to use a blockchain. Based on practical Byzantine fault tolerance (PBFT), a specific type of blockchain, this paper proposes a synchronous Byzantine fault tolerance (SBFT) algorithm that not only maintains data consistency, but also has much higher efficiency than other general blockchain algorithms. We provide experimental results that demonstrate the algorithm’s data consistency, efficiency, and reliability.","PeriodicalId":331050,"journal":{"name":"2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134352760","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Analysis of Contextual Sensors for Fall Detection","authors":"Lourdes Martínez-Villaseñor, Hiram Ponce","doi":"10.1109/isads45777.2019.9155641","DOIUrl":"https://doi.org/10.1109/isads45777.2019.9155641","url":null,"abstract":"Falls are a major problem among older people and often cause serious injuries. It is important to have efficient fall detection solutions to reduce the time in which a person who suffered a fall receives assistance. Given the recent availability of cameras, wearable and ambient sensors, more research in fall detection is focused on combining different data modalities. In order to determine the positive effects of each modality and combination to improve the effectiveness of fall detection, a detailed assessment has to be done. In this paper, we analyzed different combinations of wearable devices, namely IMUs and EEG helmet, with grid of active infrared sensors for fall detection, with the aim to determine the positive effects of contextual information on the accuracy in fall detection. We used short-term memory (LSTM) networks to enable fall detection from sensors raw data. For some activities certain combinations can be helpful to discriminate other activities of daily living (ADL) from falls.","PeriodicalId":331050,"journal":{"name":"2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124594828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"ISADS 2019 Part 1 Title Page","authors":"","doi":"10.1109/isads45777.2019.9155952","DOIUrl":"https://doi.org/10.1109/isads45777.2019.9155952","url":null,"abstract":"","PeriodicalId":331050,"journal":{"name":"2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS)","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123848844","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Flight Trajectory Clustering: a framework that uses Planned Route data","authors":"C. Morales, S. Moral","doi":"10.1109/ISADS45777.2019.9155962","DOIUrl":"https://doi.org/10.1109/ISADS45777.2019.9155962","url":null,"abstract":"Clustering is an efficient method for handling large amounts of complex data. More specifically, k-means clustering is an optimized algorithm based on Euclidean distance measurement that has been applied to aircraft trajectory classification. In this paper we present a research line based on performing a preprocessing of trajectory coordinates and flight plan data to obtain additional variables, as adapted to the k-means clustering algorithm as possible, in order to support supervised trajectory classification.","PeriodicalId":331050,"journal":{"name":"2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS)","volume":"1 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133749121","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"ISADS 2019 Table of Contents","authors":"","doi":"10.1109/isads45777.2019.9155911","DOIUrl":"https://doi.org/10.1109/isads45777.2019.9155911","url":null,"abstract":"","PeriodicalId":331050,"journal":{"name":"2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115571053","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Scheduling Bag-of-Task-Chains in Distributed Systems","authors":"Georgios L. Stavrinides, H. Karatza","doi":"10.1109/isads45777.2019.9156029","DOIUrl":"https://doi.org/10.1109/isads45777.2019.9156029","url":null,"abstract":"Distributed resources required for processing complex parallel applications are becoming larger in scale day-by-day. They need to be used efficiently in order to provide Quality of Service (QoS). Therefore, resource allocation and scheduling are of paramount importance. In this paper we investigate issues involved with the scheduling of parallel jobs that are bag-of-task-chains in distributed systems. Two task-chain scheduling techniques in two different cases of resource allocation are studied. The performance of the task-chain scheduling algorithms is evaluated via simulation, under different cases of system workload. The experimental results show that the performance of the task-chain scheduling strategies depends on the employed resource allocation techniques.","PeriodicalId":331050,"journal":{"name":"2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129414673","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Semantic Analysis of Concurrent Computing in Decentralized IoT and Robotics Applications","authors":"G. Luca, Yinong Chen","doi":"10.1109/isads45777.2019.9155627","DOIUrl":"https://doi.org/10.1109/isads45777.2019.9155627","url":null,"abstract":"As IoT and robotics applications continue to become increasingly complex and decentralized, there is an increase in the difficulty of verifying requirements such as guarantees of reliability, efficiency, and correctness of the entire system. Modern IoT and robotics research and applications employ a variety of technologies to accommodate the distribution of real world IoT devices. Many of these technologies support the orchestration of these devices with concurrent computation and workflow-based processing, e.g., Intel Service Orchestration Layer. We developed a new workflow-based programming language VIPLE (Visual IoT/Robotics Programming Language Environment), which supports the orchestration of decentralized IoT and robotics devices through concurrent computation. VIPLE has been used by many universities for teaching robotics programming, event-driven computing, service-oriented computing, and parallel computing concepts. Historically, simple single threaded applications could be verified by employing formal systems such as Hoare logic. It is difficult to verify parallel and distributed computing. In our recent research, we developed a novel system to verify the semantics and other requirements of decentralized applications written in VIPLE. This system is developed using a combination of the techniques offered in Hoare logic and Rely-Guarantee logic, and it is applied using the automatically generated Pi-Calculus representation of VIPLE applications. This paper focuses on the foundations of this system, its ability to handle concurrent computing and decentralized applications, as well as its ability to support automated verification and semantic analysis.","PeriodicalId":331050,"journal":{"name":"2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114539181","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"ISADS 2019 Message from the SASWIM Committee Chairs","authors":"","doi":"10.1109/isads45777.2019.9155631","DOIUrl":"https://doi.org/10.1109/isads45777.2019.9155631","url":null,"abstract":"","PeriodicalId":331050,"journal":{"name":"2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115077186","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}