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

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

筛选
英文 中文
StakeCube: Combining Sharding and Proof-of-Stake to build Fork-free Secure Permissionless Distributed Ledgers StakeCube:结合分片和权益证明来构建无分叉的安全无许可分布式账本
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2019-06-19 DOI: 10.1007/978-3-030-31277-0_10
Antoine Durand, E. Anceaume, R. Ludinard
{"title":"StakeCube: Combining Sharding and Proof-of-Stake to build Fork-free Secure Permissionless Distributed Ledgers","authors":"Antoine Durand, E. Anceaume, R. Ludinard","doi":"10.1007/978-3-030-31277-0_10","DOIUrl":"https://doi.org/10.1007/978-3-030-31277-0_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":"27 1","pages":"148-165"},"PeriodicalIF":0.0,"publicationDate":"2019-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84225872","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}
引用次数: 8
A Multi-criteria Group Decision Making Method for Big Data Storage Selection 大数据存储选择的多准则群决策方法
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2019-06-19 DOI: 10.1007/978-3-030-31277-0_25
Jabrane Kachaoui, A. Belangour
{"title":"A Multi-criteria Group Decision Making Method for Big Data Storage Selection","authors":"Jabrane Kachaoui, A. Belangour","doi":"10.1007/978-3-030-31277-0_25","DOIUrl":"https://doi.org/10.1007/978-3-030-31277-0_25","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":"4 3-4","pages":"381-386"},"PeriodicalIF":0.0,"publicationDate":"2019-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72630987","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}
引用次数: 5
Synthesize Models for Quantitative Analysis Using Automata Learning 利用自动机学习综合定量分析模型
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2019-06-19 DOI: 10.1007/978-3-030-31277-0_6
Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, M. Tsai, Bow-Yaw Wang, Farn Wang
{"title":"Synthesize Models for Quantitative Analysis Using Automata Learning","authors":"Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, M. Tsai, Bow-Yaw Wang, Farn Wang","doi":"10.1007/978-3-030-31277-0_6","DOIUrl":"https://doi.org/10.1007/978-3-030-31277-0_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":"17 1","pages":"75-92"},"PeriodicalIF":0.0,"publicationDate":"2019-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83523610","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
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial) 释放-获取语义下的动态偏序约简(教程)
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2019-06-19 DOI: 10.1007/978-3-030-31277-0_1
P. Abdulla, M. Atig, B. Jonsson, Ngo Tuan Phong
{"title":"Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial)","authors":"P. Abdulla, M. Atig, B. Jonsson, Ngo Tuan Phong","doi":"10.1007/978-3-030-31277-0_1","DOIUrl":"https://doi.org/10.1007/978-3-030-31277-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":"71 1","pages":"3-18"},"PeriodicalIF":0.0,"publicationDate":"2019-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86808512","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
Towards Synthesis of Distributed Algorithms with SMT Solvers 基于SMT求解器的分布式算法综合研究
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2019-06-19 DOI: 10.1007/978-3-030-31277-0_13
C. Delporte-Gallet, H. Fauconnier, Y. Jurski, F. Laroussinie, Arnaud Sangnier
{"title":"Towards Synthesis of Distributed Algorithms with SMT Solvers","authors":"C. Delporte-Gallet, H. Fauconnier, Y. Jurski, F. Laroussinie, Arnaud Sangnier","doi":"10.1007/978-3-030-31277-0_13","DOIUrl":"https://doi.org/10.1007/978-3-030-31277-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":"81 1","pages":"200-216"},"PeriodicalIF":0.0,"publicationDate":"2019-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76851102","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
The Fake News Vaccine - A Content-Agnostic System for Preventing Fake News from Becoming Viral 假新闻疫苗-防止假新闻成为病毒的内容不可知论系统
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2019-06-19 DOI: 10.1007/978-3-030-31277-0_23
Oana Balmau, R. Guerraoui, Anne-Marie Kermarrec, Alexandre Maurer, M. Pavlovic, W. Zwaenepoel
{"title":"The Fake News Vaccine - A Content-Agnostic System for Preventing Fake News from Becoming Viral","authors":"Oana Balmau, R. Guerraoui, Anne-Marie Kermarrec, Alexandre Maurer, M. Pavlovic, W. Zwaenepoel","doi":"10.1007/978-3-030-31277-0_23","DOIUrl":"https://doi.org/10.1007/978-3-030-31277-0_23","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":"10 1","pages":"347-364"},"PeriodicalIF":0.0,"publicationDate":"2019-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78663607","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}
引用次数: 5
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots 连续与离散异步移动:移动机器人的认证方法
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2019-06-19 DOI: 10.1007/978-3-030-31277-0_7
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, S. Tixeuil, X. Urbain
{"title":"Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots","authors":"Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, S. Tixeuil, X. Urbain","doi":"10.1007/978-3-030-31277-0_7","DOIUrl":"https://doi.org/10.1007/978-3-030-31277-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":"10 1","pages":"93-109"},"PeriodicalIF":0.0,"publicationDate":"2019-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86598308","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 the complexity of fault-tolerant consensus 论容错共识的复杂性
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2019-05-16 DOI: 10.1007/978-3-030-31277-0_2
D. Kowalski, Jaroslaw Mirek
{"title":"On the complexity of fault-tolerant consensus","authors":"D. Kowalski, Jaroslaw Mirek","doi":"10.1007/978-3-030-31277-0_2","DOIUrl":"https://doi.org/10.1007/978-3-030-31277-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":" 2","pages":"19-31"},"PeriodicalIF":0.0,"publicationDate":"2019-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91414048","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}
引用次数: 5
Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional Memory 使用基于对象的事务性内存在区块链中高效并发执行智能合约
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2019-03-31 DOI: 10.1007/978-3-030-67087-0_6
Parwat Singh Anjana, S. Kumari, Sathya Peri, Archit Somani
{"title":"Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional Memory","authors":"Parwat Singh Anjana, S. Kumari, Sathya Peri, Archit Somani","doi":"10.1007/978-3-030-67087-0_6","DOIUrl":"https://doi.org/10.1007/978-3-030-67087-0_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":"3 1","pages":"77-93"},"PeriodicalIF":0.0,"publicationDate":"2019-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85726045","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}
引用次数: 12
A Vaccination Game for Mitigation Active Worms Propagation in P2P Networks 一种抑制主动蠕虫在P2P网络中传播的疫苗接种对策
Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems Pub Date : 2019-01-01 DOI: 10.1007/978-3-030-31277-0_17
M. Rguibi, N. Moussa
{"title":"A Vaccination Game for Mitigation Active Worms Propagation in P2P Networks","authors":"M. Rguibi, N. Moussa","doi":"10.1007/978-3-030-31277-0_17","DOIUrl":"https://doi.org/10.1007/978-3-030-31277-0_17","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":"124 1","pages":"267-274"},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78790922","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学术官方微信