先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

会议文集


文集名Networked Systems
会议名8th International Conference on Networked Systems (NETYS 2020)
中译名《第八届国际网络系统会议》
机构King Abdullah University of Science and Technology
会议日期June 3-5, 2020
会议地点Marrakech, Morocco
出版年2021
馆藏号338395


题名作者出版年
On Network Topologies and the Decidability of Reachability ProblemC. Aiswarya2021
Hide Me: Enabling Location Privacy in Heterogeneous Vehicular NetworksTobias Meuser; Oluwasegun Taiwo Ojo; Daniel Bischoff; Antonio Fernandez Anta; Ioannis Stavrakakis; Ralf Steinmetz2021
Blockchains and the CommonsMaria Potop-Butucaru2021
On the State Reachability Problem for Concurrent Programs Under PowerParosh Aziz Abdulla; Mohamed Faouzi Atig; Ahmed Bouajjani; Egor Derevenetc; Carl Leonardsson; Roland Meyer2021
On the Encoding and Solving of Partial Information GamesYackolley Amoussou-Guenou; Souheib Baarir; Maria Potop-Butucaru; Nathalie Sznajder; Leo Tible; Sebastien Tixeuil2021
Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional MemoryParwat Singh Anjana; Hagit Attiya; Sweta Kumari; Sathya Peri; Archit Somani2021
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic ExecutionBoutheina Bannour; Arnault Lapitre; Pascale Le Gall2021
Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine FaultsSilvia Bonomi; Giovanni Farina; Sebastien Tixeuil2021
Infinite Grid Exploration by Disoriented RobotsQuentin Bramas; Stephane Devismes; Pascal Lafourcade2021
Wireless Broadcast with Short LabelsGewu Bu; Maria Potop-Butucaru; Mikael Rabie2021
The Imitation Game: Algorithm Selection by Exploiting Black-Box RecommendersGeorgios Damaskinos; Rachid Guerraoui; Erwan Le Merrer; Christoph Neumann2021
Byzantine k-Set AgreementCarole Delporte-Gallet; Hugues Fauconnier; Mouna Safir2021
Fissile LocksDave Dice; Alex Kogan2021
Verifying Safety of Parameterized Heard-Of AlgorithmsZeinab Ganjei; Ahmed Rezine; Petru Eles; Zebo Peng2021
Staleness and Local Progress in Transactional MemoryHagit Attiya; Panagiota Fatourou; Sandeep Hans; Eleni Kanellou2021
Generic Framework for Optimization of Local Dissemination in Wireless NetworksDariusz R. Kowalski; Miguel A. Mosteiro; Krutika Wadhwa2021
Verifying Weakly Consistent Transactional Programs Using Symbolic ExecutionBurcu Kulahcioglu Ozkan2021
NetSheriff: Sheltering Software-Defined Networks from Rogue SwitchesPaolo Laffranchini; Joao Miranda; Nuno Machado; Luis Rodrigues; Etienne Riviere; Ramin Sadre2021
Self-stabilizing Uniform Reliable BroadcastOskar Lundstrom; Michel Raynal; Elad M. Schiller2021
Fully Anonymous Consensus and Set Agreement AlgorithmsMichel Raynal; Gadi Taubenfeld2021
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024