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

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

筛选
英文 中文
LighTx: A Lightweight Proof-of-Bandwidth Transactions Transfer System LighTx:一个轻量级的带宽证明交易传输系统
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2021-01-01 DOI: 10.1007/978-3-030-91014-3_10
Imane El Abid, Yahya Benkaouz, A. Khoumsi
{"title":"LighTx: A Lightweight Proof-of-Bandwidth Transactions Transfer System","authors":"Imane El Abid, Yahya Benkaouz, A. Khoumsi","doi":"10.1007/978-3-030-91014-3_10","DOIUrl":"https://doi.org/10.1007/978-3-030-91014-3_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":"64 1","pages":"144-160"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80341250","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
Weak Amnesiac Flooding of Multiple Messages 多个消息的弱遗忘泛洪
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2021-01-01 DOI: 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}
引用次数: 1
Separating Map Variables in a Logic-Based Intermediate Verification Language 基于逻辑的中间验证语言中映射变量的分离
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2021-01-01 DOI: 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}
引用次数: 0
AUCCCR: Agent Utility Centered Clustering for Cooperation Recommendation AUCCCR:基于Agent效用中心的合作推荐聚类
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2021-01-01 DOI: 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}
引用次数: 0
On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems 高可用性文件系统中保密性、完整性和可访问性的不可能性
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2021-01-01 DOI: 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}
引用次数: 2
Deciding S1S: Down the Rabbit Hole and Through the Looking Glass 决定S1S:下兔子洞和镜中奇遇
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2021-01-01 DOI: 10.1007/978-3-030-91014-3_15
Vojtěch Havlena, Ondřej Lengál, Barbora Smahlíková
{"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}
引用次数: 3
Fault-Tolerant Termination Detection with Safra's Algorithm 基于Safra算法的容错终止检测
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2021-01-01 DOI: 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}
引用次数: 0
Towards Efficient Shape Analysis with Tree Automata 基于树自动机的高效形状分析
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2021-01-01 DOI: 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}
引用次数: 0
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality 无共手性的夜视机器人最优独占永久网格探索
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2021-01-01 DOI: 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}
引用次数: 1
BAM: Efficient Model Checking for Barriers BAM:有效的障碍模型检查
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2021-01-01 DOI: 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}
引用次数: 3
首页 上一页 下一页 尾页
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学术官方微信