Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems最新文献
Pub Date : 2021-01-01DOI: 10.1007/978-3-030-91014-3_6
Zahra Bayramzadeh, A. Kshemkalyani, A. R. Molla, Gokarna Sharma
{"title":"Weak Amnesiac Flooding of Multiple Messages","authors":"Zahra Bayramzadeh, A. Kshemkalyani, A. R. Molla, Gokarna Sharma","doi":"10.1007/978-3-030-91014-3_6","DOIUrl":"https://doi.org/10.1007/978-3-030-91014-3_6","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":"65 1","pages":"88-94"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74307000","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 : 2021-01-01DOI: 10.1007/978-3-030-91014-3_12
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, A. Podelski
{"title":"Separating Map Variables in a Logic-Based Intermediate Verification Language","authors":"Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, A. Podelski","doi":"10.1007/978-3-030-91014-3_12","DOIUrl":"https://doi.org/10.1007/978-3-030-91014-3_12","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":"51 5 1","pages":"169-186"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79024849","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 : 2021-01-01DOI: 10.1007/978-3-030-91014-3_8
Amaury Bouchra Pilet, Davide Frey, François Taïani
{"title":"AUCCCR: Agent Utility Centered Clustering for Cooperation Recommendation","authors":"Amaury Bouchra Pilet, Davide Frey, François Taïani","doi":"10.1007/978-3-030-91014-3_8","DOIUrl":"https://doi.org/10.1007/978-3-030-91014-3_8","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":"49 1","pages":"111-125"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77663250","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 : 2021-01-01DOI: 10.1007/978-3-030-91014-3_1
Elena Yanakieva, M. Youssef, A. Rezae, Annette Bieniusa
{"title":"On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems","authors":"Elena Yanakieva, M. Youssef, A. Rezae, Annette Bieniusa","doi":"10.1007/978-3-030-91014-3_1","DOIUrl":"https://doi.org/10.1007/978-3-030-91014-3_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":"72 1","pages":"3-18"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84358234","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":"Deciding S1S: Down the Rabbit Hole and Through the Looking Glass","authors":"Vojtěch Havlena, Ondřej Lengál, Barbora Smahlíková","doi":"10.1007/978-3-030-91014-3_15","DOIUrl":"https://doi.org/10.1007/978-3-030-91014-3_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":"44 1","pages":"215-222"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79031586","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 : 2021-01-01DOI: 10.1007/978-3-030-91014-3_5
Georgios Karlos, W. Fokkink, Per Fuchs
{"title":"Fault-Tolerant Termination Detection with Safra's Algorithm","authors":"Georgios Karlos, W. Fokkink, Per Fuchs","doi":"10.1007/978-3-030-91014-3_5","DOIUrl":"https://doi.org/10.1007/978-3-030-91014-3_5","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":"23 1","pages":"71-87"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80518107","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 : 2021-01-01DOI: 10.1007/978-3-030-91014-3_14
Martin Hruska, L. Holík
{"title":"Towards Efficient Shape Analysis with Tree Automata","authors":"Martin Hruska, L. Holík","doi":"10.1007/978-3-030-91014-3_14","DOIUrl":"https://doi.org/10.1007/978-3-030-91014-3_14","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":"1 1","pages":"206-214"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87201738","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 : 2021-01-01DOI: 10.1007/978-3-030-91014-3_7
Arthur Rauch, Quentin Bramas, Stéphane Devismes, P. Lafourcade, Anissa Lamani
{"title":"Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality","authors":"Arthur Rauch, Quentin Bramas, Stéphane Devismes, P. Lafourcade, Anissa Lamani","doi":"10.1007/978-3-030-91014-3_7","DOIUrl":"https://doi.org/10.1007/978-3-030-91014-3_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":"5 1","pages":"95-110"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79092163","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 : 2021-01-01DOI: 10.1007/978-3-030-91014-3_16
Michalis Kokologiannakis, Viktor Vafeiadis
{"title":"BAM: Efficient Model Checking for Barriers","authors":"Michalis Kokologiannakis, Viktor Vafeiadis","doi":"10.1007/978-3-030-91014-3_16","DOIUrl":"https://doi.org/10.1007/978-3-030-91014-3_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":"8 1","pages":"223-239"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85307909","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 : 2020-10-06DOI: 10.1007/978-3-030-91014-3_2
Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko
{"title":"Byzantine Geoconsensus","authors":"Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko","doi":"10.1007/978-3-030-91014-3_2","DOIUrl":"https://doi.org/10.1007/978-3-030-91014-3_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":"84 1","pages":"19-35"},"PeriodicalIF":0.0,"publicationDate":"2020-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86503615","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：