Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems最新文献
Pub Date : 2022-01-01DOI: 10.1007/978-3-031-17436-0_13
Markus Sommer, Jonas Höchst, Artur Sterz, A. Penning, Bernd Freisleben
{"title":"ProgDTN: Programmable Disruption-Tolerant Networking","authors":"Markus Sommer, Jonas Höchst, Artur Sterz, A. Penning, Bernd Freisleben","doi":"10.1007/978-3-031-17436-0_13","DOIUrl":"https://doi.org/10.1007/978-3-031-17436-0_13","url":null,"abstract":"","PeriodicalId":92573,"journal":{"name":"Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems","volume":"50 1","pages":"184-200"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90821731","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}
Pub Date : 2022-01-01DOI: 10.1007/978-3-031-17436-0_7
Anshuman Misra, A. Kshemkalyani
{"title":"Solvability of Byzantine Fault-Tolerant Causal Ordering Problems","authors":"Anshuman Misra, A. Kshemkalyani","doi":"10.1007/978-3-031-17436-0_7","DOIUrl":"https://doi.org/10.1007/978-3-031-17436-0_7","url":null,"abstract":"","PeriodicalId":92573,"journal":{"name":"Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems","volume":"67 1","pages":"87-103"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90920777","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}
Pub Date : 2022-01-01DOI: 10.1007/978-3-031-17436-0_16
Lhoussaine Daoudi, Mohamed Baslam, S. Safi
{"title":"Dynamics Analysis for a Duopoly Game with Bounded Rationality in Cognitive Radio Network","authors":"Lhoussaine Daoudi, Mohamed Baslam, S. Safi","doi":"10.1007/978-3-031-17436-0_16","DOIUrl":"https://doi.org/10.1007/978-3-031-17436-0_16","url":null,"abstract":"","PeriodicalId":92573,"journal":{"name":"Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems","volume":"19 1","pages":"236-251"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88338118","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}
Pub Date : 2022-01-01DOI: 10.1007/978-3-031-17436-0_2
Laurent Prosperi, A. Bouajjani, M. Shapiro
{"title":"Varda: A Framework for Compositional Distributed Programming","authors":"Laurent Prosperi, A. Bouajjani, M. Shapiro","doi":"10.1007/978-3-031-17436-0_2","DOIUrl":"https://doi.org/10.1007/978-3-031-17436-0_2","url":null,"abstract":"","PeriodicalId":92573,"journal":{"name":"Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems","volume":"370 1","pages":"16-30"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77335058","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}
Pub Date : 2022-01-01DOI: 10.1007/978-3-031-17436-0
{"title":"Networked Systems: 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings","authors":"","doi":"10.1007/978-3-031-17436-0","DOIUrl":"https://doi.org/10.1007/978-3-031-17436-0","url":null,"abstract":"","PeriodicalId":92573,"journal":{"name":"Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems","volume":"47 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85248299","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}
Pub Date : 2022-01-01DOI: 10.1007/978-3-031-17436-0_11
Laine E. Rumreich, P. Sivilotti
{"title":"An Eventually Perfect Failure Detector on ADD Channels Using Clustering","authors":"Laine E. Rumreich, P. Sivilotti","doi":"10.1007/978-3-031-17436-0_11","DOIUrl":"https://doi.org/10.1007/978-3-031-17436-0_11","url":null,"abstract":"","PeriodicalId":92573,"journal":{"name":"Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems","volume":"31 1","pages":"149-166"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81424190","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}
Pub Date : 2022-01-01DOI: 10.1007/978-3-031-17436-0_15
Imane Chakour, C. Daoui, Mohamed Baslam
{"title":"Mechanical Energy Minimization UAV-Mounted Base Station Path Plan for Public Safety Communication","authors":"Imane Chakour, C. Daoui, Mohamed Baslam","doi":"10.1007/978-3-031-17436-0_15","DOIUrl":"https://doi.org/10.1007/978-3-031-17436-0_15","url":null,"abstract":"","PeriodicalId":92573,"journal":{"name":"Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems","volume":"78 1","pages":"222-235"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90974679","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}
Pub Date : 2022-01-01DOI: 10.1007/978-3-031-17436-0_19
P. Abdulla, M. Atig, A. Bouajjani, K. Kumar, Prakash Saivasan
{"title":"Verifying Reachability for TSO Programs with Dynamic Thread Creation","authors":"P. Abdulla, M. Atig, A. Bouajjani, K. Kumar, Prakash Saivasan","doi":"10.1007/978-3-031-17436-0_19","DOIUrl":"https://doi.org/10.1007/978-3-031-17436-0_19","url":null,"abstract":"","PeriodicalId":92573,"journal":{"name":"Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems","volume":"71 1","pages":"283-300"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84250524","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}
Pub Date : 2022-01-01DOI: 10.1007/978-3-031-17436-0_1
Armando Castañeda, S. Rajsbaum, M. Raynal
{"title":"A Snapshot-Based Introduction to the Linearizability Hierarchy","authors":"Armando Castañeda, S. Rajsbaum, M. Raynal","doi":"10.1007/978-3-031-17436-0_1","DOIUrl":"https://doi.org/10.1007/978-3-031-17436-0_1","url":null,"abstract":"","PeriodicalId":92573,"journal":{"name":"Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems","volume":"80 1","pages":"3-15"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75892636","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}
Pub Date : 2022-01-01DOI: 10.1007/978-3-031-17436-0_17
Salima Attache, Ikram Remadna, L. Terrissa, I. Maouche, N. Zerhouni
{"title":"IoT Based Prediction of Active and Passive Earth Pressure Coefficients Using Artificial Neural Networks","authors":"Salima Attache, Ikram Remadna, L. Terrissa, I. Maouche, N. Zerhouni","doi":"10.1007/978-3-031-17436-0_17","DOIUrl":"https://doi.org/10.1007/978-3-031-17436-0_17","url":null,"abstract":"","PeriodicalId":92573,"journal":{"name":"Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems","volume":"30 1 1","pages":"252-262"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90206214","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}