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

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

筛选
英文 中文
Applying Custom Patterns in Semantic Equality Analysis 自定义模式在语义等价分析中的应用
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-17436-0_18
Viktor Malík, Petr Silling, Tomáš Vojnar
{"title":"Applying Custom Patterns in Semantic Equality Analysis","authors":"Viktor Malík, Petr Silling, Tomáš Vojnar","doi":"10.1007/978-3-031-17436-0_18","DOIUrl":"https://doi.org/10.1007/978-3-031-17436-0_18","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":"3 1","pages":"265-282"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86086455","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
ProgDTN: Programmable Disruption-Tolerant Networking 可编程容错网络
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2022-01-01 DOI: 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}
引用次数: 2
Solvability of Byzantine Fault-Tolerant Causal Ordering Problems 拜占庭容错因果排序问题的可解性
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2022-01-01 DOI: 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}
引用次数: 11
Dynamics Analysis for a Duopoly Game with Bounded Rationality in Cognitive Radio Network 认知无线电网络中有限理性双寡头博弈的动力学分析
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2022-01-01 DOI: 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}
引用次数: 0
Varda: A Framework for Compositional Distributed Programming Varda:用于组合分布式编程的框架
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2022-01-01 DOI: 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}
引用次数: 0
Networked Systems: 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings 网络系统:第十届国际会议，NETYS 2022，虚拟事件，5月17-19日，2022，会议录
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2022-01-01 DOI: 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}
引用次数: 0
An Eventually Perfect Failure Detector on ADD Channels Using Clustering 一种基于聚类的ADD信道故障检测方法
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2022-01-01 DOI: 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}
引用次数: 0
Mechanical Energy Minimization UAV-Mounted Base Station Path Plan for Public Safety Communication 用于公共安全通信的无人机基站路径规划
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2022-01-01 DOI: 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}
引用次数: 0
Verifying Reachability for TSO Programs with Dynamic Thread Creation 用动态线程创建验证TSO程序的可达性
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2022-01-01 DOI: 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}
引用次数: 1
A Snapshot-Based Introduction to the Linearizability Hierarchy 基于快照的线性化层次介绍
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2022-01-01 DOI: 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}
引用次数: 0
首页 上一页 下一页 尾页
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学术官方微信