Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems最新文献
Pub Date : 2019-06-19DOI: 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}
Pub Date : 2019-06-19DOI: 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}
Pub Date : 2019-06-19DOI: 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}
Pub Date : 2019-06-19DOI: 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}
Pub Date : 2019-06-19DOI: 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}
Pub Date : 2019-06-19DOI: 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}
Pub Date : 2019-05-16DOI: 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}
Pub Date : 2019-03-31DOI: 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}
Pub Date : 2019-01-01DOI: 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}
Pub Date : 2019-01-01DOI: 10.1007/978-3-030-31277-0
M. Atig, A. Schwarzmann
{"title":"Networked Systems: 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers","authors":"M. Atig, A. Schwarzmann","doi":"10.1007/978-3-030-31277-0","DOIUrl":"https://doi.org/10.1007/978-3-030-31277-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":"69 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76321525","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
扫码关注我们
求助内容：
应助结果提醒方式：