Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems最新文献
Pub Date : 2018-05-12DOI: 10.1007/978-3-030-67087-0_5
Yackolley Amoussou-Guenou, S. Baarir, M. Potop-Butucaru, N. Sznajder, L´eo Tible, S. Tixeuil
{"title":"On the Encoding and Solving of Partial Information Games","authors":"Yackolley Amoussou-Guenou, S. Baarir, M. Potop-Butucaru, N. Sznajder, L´eo Tible, S. Tixeuil","doi":"10.1007/978-3-030-67087-0_5","DOIUrl":"https://doi.org/10.1007/978-3-030-67087-0_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":"9 1","pages":"60-76"},"PeriodicalIF":0.0,"publicationDate":"2018-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89262694","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 : 2018-05-09DOI: 10.1007/978-3-030-05529-5_13
P. Jayanti, S. Jayanti, Anup Joshi
{"title":"Optimal Recoverable Mutual Exclusion Using only FASAS","authors":"P. Jayanti, S. Jayanti, Anup Joshi","doi":"10.1007/978-3-030-05529-5_13","DOIUrl":"https://doi.org/10.1007/978-3-030-05529-5_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":"20 1","pages":"191-206"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77723845","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 : 2018-05-09DOI: 10.1007/978-3-030-05529-5_22
M. Inoue, S. Tixeuil
{"title":"Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching","authors":"M. Inoue, S. Tixeuil","doi":"10.1007/978-3-030-05529-5_22","DOIUrl":"https://doi.org/10.1007/978-3-030-05529-5_22","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":"334-339"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91158033","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 : 2018-05-09DOI: 10.1007/978-3-030-05529-5_6
Masashi Tsuchida, Fukuhito Ooshita, M. Inoue
{"title":"Gathering of Mobile Agents in Asynchronous Byzantine Environments with Authenticated Whiteboards","authors":"Masashi Tsuchida, Fukuhito Ooshita, M. Inoue","doi":"10.1007/978-3-030-05529-5_6","DOIUrl":"https://doi.org/10.1007/978-3-030-05529-5_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":"137 1","pages":"85-99"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89761333","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 : 2018-05-09DOI: 10.1007/978-3-030-05529-5_3
R. Guerraoui, Jingjing Wang
{"title":"On the Unfairness of Blockchain","authors":"R. Guerraoui, Jingjing Wang","doi":"10.1007/978-3-030-05529-5_3","DOIUrl":"https://doi.org/10.1007/978-3-030-05529-5_3","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":"235 1","pages":"36-50"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74480621","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 : 2018-05-09DOI: 10.1007/978-3-030-05529-5_8
V. Aksenov, P. Kuznetsov, A. Shalyto
{"title":"On Helping and Stacks","authors":"V. Aksenov, P. Kuznetsov, A. Shalyto","doi":"10.1007/978-3-030-05529-5_8","DOIUrl":"https://doi.org/10.1007/978-3-030-05529-5_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":"30 1","pages":"107-121"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85685247","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 : 2018-05-09DOI: 10.1007/978-3-030-05529-5_15
A. Bouajjani, C. Enea, Madhavan Mukund, Rajarshi Roy
{"title":"On Verifying TSO Robustness for Event-Driven Asynchronous Programs","authors":"A. Bouajjani, C. Enea, Madhavan Mukund, Rajarshi Roy","doi":"10.1007/978-3-030-05529-5_15","DOIUrl":"https://doi.org/10.1007/978-3-030-05529-5_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":"46 1","pages":"225-239"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76803805","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 : 2018-05-09DOI: 10.1007/978-3-030-05529-5_16
M. Diaz, Tayssir Touili
{"title":"Model Checking Dynamic Pushdown Networks with Locks and Priorities","authors":"M. Diaz, Tayssir Touili","doi":"10.1007/978-3-030-05529-5_16","DOIUrl":"https://doi.org/10.1007/978-3-030-05529-5_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":"66 1","pages":"240-251"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90397618","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 : 2018-05-09DOI: 10.1007/978-3-030-05529-5_14
S. Conchon, G. Delzanno, Angelo Ferrando
{"title":"Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols","authors":"S. Conchon, G. Delzanno, Angelo Ferrando","doi":"10.1007/978-3-030-05529-5_14","DOIUrl":"https://doi.org/10.1007/978-3-030-05529-5_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":"209-224"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82148005","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 : 2018-05-09DOI: 10.1007/978-3-030-05529-5_10
C. Delporte-Gallet, H. Fauconnier, S. Rajsbaum, Nayuta Yanagisawa
{"title":"An Anonymous Wait-Free Weak-Set Object Implementation","authors":"C. Delporte-Gallet, H. Fauconnier, S. Rajsbaum, Nayuta Yanagisawa","doi":"10.1007/978-3-030-05529-5_10","DOIUrl":"https://doi.org/10.1007/978-3-030-05529-5_10","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":"517 1","pages":"141-156"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77357050","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
扫码关注我们
求助内容：
应助结果提醒方式：