2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS)最新文献

筛选
英文 中文
ISADS 2019 Message from the ISADS Committee Chair ISADS 2019委员会主席致辞
2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS) Pub Date : 2019-04-01 DOI: 10.1109/isads45777.2019.9155970
{"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}
引用次数: 0
ISADS 2019 Abstracts Pages ISADS 2019摘要页
2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS) Pub Date : 2019-04-01 DOI: 10.1109/isads45777.2019.9155988
{"title":"ISADS 2019 Abstracts Pages","authors":"","doi":"10.1109/isads45777.2019.9155988","DOIUrl":"https://doi.org/10.1109/isads45777.2019.9155988","url":null,"abstract":"","PeriodicalId":331050,"journal":{"name":"2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS)","volume":"24 6 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":"122505422","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}
引用次数: 0
Blockchain based Consensus Checking in Cloud Storage 云存储中基于区块链的共识检查
2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS) Pub Date : 2019-04-01 DOI: 10.1109/isads45777.2019.9155713
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}
引用次数: 4
Analysis of Contextual Sensors for Fall Detection 基于上下文传感器的跌倒检测分析
2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS) Pub Date : 2019-04-01 DOI: 10.1109/isads45777.2019.9155641
Lourdes Martínez-Villaseñor, Hiram Ponce
{"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}
引用次数: 0
ISADS 2019 Part 1 Title Page ISADS 2019第1部分标题页
2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS) Pub Date : 2019-04-01 DOI: 10.1109/isads45777.2019.9155952
{"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}
引用次数: 0
Flight Trajectory Clustering: a framework that uses Planned Route data 飞行轨迹聚类:一个使用计划路线数据的框架
2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS) Pub Date : 2019-04-01 DOI: 10.1109/ISADS45777.2019.9155962
C. Morales, S. Moral
{"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}
引用次数: 1
ISADS 2019 Table of Contents ISADS 2019目录
2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS) Pub Date : 2019-04-01 DOI: 10.1109/isads45777.2019.9155911
{"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}
引用次数: 0
Scheduling Bag-of-Task-Chains in Distributed Systems 分布式系统中任务链袋的调度
2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS) Pub Date : 2019-04-01 DOI: 10.1109/isads45777.2019.9156029
Georgios L. Stavrinides, H. Karatza
{"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}
引用次数: 10
Semantic Analysis of Concurrent Computing in Decentralized IoT and Robotics Applications 分布式物联网和机器人应用中并发计算的语义分析
2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS) Pub Date : 2019-04-01 DOI: 10.1109/isads45777.2019.9155627
G. Luca, Yinong Chen
{"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}
引用次数: 8
ISADS 2019 Message from the SASWIM Committee Chairs ISADS 2019 SASWIM委员会主席致辞
2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS) Pub Date : 2019-04-01 DOI: 10.1109/isads45777.2019.9155631
{"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}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信