发布求助
文献互助 智能选刊 最新文献

Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems最新文献

筛选
英文 中文
On the Encoding and Solving of Partial Information Games 部分信息博弈的编码与求解
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2018-05-12 DOI: 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}
引用次数: 0
Optimal Recoverable Mutual Exclusion Using only FASAS 仅使用FASAS的最优可恢复互斥
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2018-05-09 DOI: 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}
引用次数: 14
Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching 广义谨慎自稳定1-极大匹配的紧界
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2018-05-09 DOI: 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}
引用次数: 0
Gathering of Mobile Agents in Asynchronous Byzantine Environments with Authenticated Whiteboards 异步拜占庭环境中带有认证白板的移动代理集合
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2018-05-09 DOI: 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}
引用次数: 2
On the Unfairness of Blockchain 论区块链的不公平性
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2018-05-09 DOI: 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}
引用次数: 7
On Helping and Stacks 关于帮助和堆栈
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2018-05-09 DOI: 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}
引用次数: 0
On Verifying TSO Robustness for Event-Driven Asynchronous Programs 事件驱动异步程序的TSO鲁棒性验证
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2018-05-09 DOI: 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}
引用次数: 0
Model Checking Dynamic Pushdown Networks with Locks and Priorities 带锁和优先级的动态下推网络模型检验
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2018-05-09 DOI: 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}
引用次数: 1
Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols 拓扑敏感分布式协议的声明式参数化验证
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2018-05-09 DOI: 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}
引用次数: 2
An Anonymous Wait-Free Weak-Set Object Implementation 一个匿名无等待弱集对象实现
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2018-05-09 DOI: 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}
引用次数: 1
首页 上一页
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学术文献互助群
群 号：481959085
Book学术官方微信