Proceedings of the ... International Conference on Embedded Networked Sensor Systems. International Conference on Embedded Networked Sensor Systems最新文献
Pub Date : 2020-01-01DOI: 10.1007/978-3-030-67087-0_1
C. Aiswarya
{"title":"On Network Topologies and the Decidability of Reachability Problem","authors":"C. Aiswarya","doi":"10.1007/978-3-030-67087-0_1","DOIUrl":"https://doi.org/10.1007/978-3-030-67087-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":"161 1","pages":"3-10"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77489104","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 : 2020-01-01DOI: 10.1007/978-3-030-67087-0_18
Paolo Laffranchini, João Miranda, Nuno Machado, Luís Rodrigues, E. Rivière, R. Sadre
{"title":"NetSheriff: Sheltering Software-Defined Networks from Rogue Switches","authors":"Paolo Laffranchini, João Miranda, Nuno Machado, Luís Rodrigues, E. Rivière, R. Sadre","doi":"10.1007/978-3-030-67087-0_18","DOIUrl":"https://doi.org/10.1007/978-3-030-67087-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":"134 1","pages":"279-295"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77385740","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 : 2020-01-01DOI: 10.1007/978-3-030-67087-0_11
Georgios Damaskinos, R. Guerraoui, E. L. Merrer, Christoph Neumann
{"title":"The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders","authors":"Georgios Damaskinos, R. Guerraoui, E. L. Merrer, Christoph Neumann","doi":"10.1007/978-3-030-67087-0_11","DOIUrl":"https://doi.org/10.1007/978-3-030-67087-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":"21 1","pages":"170-182"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90255026","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 : 2020-01-01DOI: 10.1007/978-3-030-67087-0_24
Driss El Alaoui, J. Riffi, Badraddine Aghoutane, M. A. Sabri, Ali Yahyaouy, H. Tairi
{"title":"Collaborative Filtering: Comparative Study Between Matrix Factorization and Neural Network Method","authors":"Driss El Alaoui, J. Riffi, Badraddine Aghoutane, M. A. Sabri, Ali Yahyaouy, H. Tairi","doi":"10.1007/978-3-030-67087-0_24","DOIUrl":"https://doi.org/10.1007/978-3-030-67087-0_24","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":"21 1","pages":"361-367"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74339507","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 : 2020-01-01DOI: 10.1007/978-3-030-67087-0_3
M. Potop-Butucaru
{"title":"Blockchains and the Commons","authors":"M. Potop-Butucaru","doi":"10.1007/978-3-030-67087-0_3","DOIUrl":"https://doi.org/10.1007/978-3-030-67087-0_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":"11 5","pages":"28-44"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91431839","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 : 2020-01-01DOI: 10.1007/978-3-030-67087-0_17
B. Ozkan
{"title":"Verifying Weakly Consistent Transactional Programs Using Symbolic Execution","authors":"B. Ozkan","doi":"10.1007/978-3-030-67087-0_17","DOIUrl":"https://doi.org/10.1007/978-3-030-67087-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":"3 1","pages":"261-278"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78216029","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 : 2020-01-01DOI: 10.1007/978-3-030-67087-0_7
Boutheina Bannour, Arnault Lapitre, P. L. Gall
{"title":"Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution","authors":"Boutheina Bannour, Arnault Lapitre, P. L. Gall","doi":"10.1007/978-3-030-67087-0_7","DOIUrl":"https://doi.org/10.1007/978-3-030-67087-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":"1 1","pages":"94-111"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78722354","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 : 2020-01-01DOI: 10.1007/978-3-030-67087-0_23
V. Cholvi, J. Echagüe, Antonio Fernández, Christopher Thraves
{"title":"Stability Under Adversarial Injection of Dependent Tasks (Extended Abstract)","authors":"V. Cholvi, J. Echagüe, Antonio Fernández, Christopher Thraves","doi":"10.1007/978-3-030-67087-0_23","DOIUrl":"https://doi.org/10.1007/978-3-030-67087-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":"13 1","pages":"355-360"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73717168","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 : 2020-01-01DOI: 10.1007/978-3-030-67087-0_15
H. Attiya, P. Fatourou, Sandeep Hans, E. Kanellou
{"title":"Staleness and Local Progress in Transactional Memory","authors":"H. Attiya, P. Fatourou, Sandeep Hans, E. Kanellou","doi":"10.1007/978-3-030-67087-0_15","DOIUrl":"https://doi.org/10.1007/978-3-030-67087-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":"36 1","pages":"227-243"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74737202","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 : 2020-01-01DOI: 10.1007/978-3-030-67087-0_25
Andrés Sevilla, Antonio Fernández
{"title":"Routing in Generalized Geometric Inhomogeneous Random Graphs - (Extended Abstract)","authors":"Andrés Sevilla, Antonio Fernández","doi":"10.1007/978-3-030-67087-0_25","DOIUrl":"https://doi.org/10.1007/978-3-030-67087-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":"33 1","pages":"368-373"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75579682","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}