default search action
10th NETYS 2022, Virtual Event
- Mohammed-Amine Koulali, Mira Mezini:
Networked Systems - 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings. Lecture Notes in Computer Science 13464, Springer 2022, ISBN 978-3-031-17435-3
Distributed System
- Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
A Snapshot-Based Introduction to the Linearizability Hierarchy. 3-15 - Laurent Prosperi, Ahmed Bouajjani, Marc Shapiro:
Varda: A Framework for Compositional Distributed Programming. 16-30 - Aravind Segu, Wojciech Golab:
Recycling Memory in Recoverable Mutex Locks. 31-36 - Léonard Lys, Maria Potop-Butucaru:
Distributed Blockchain Price Oracle. 37-51 - Mohamed Lechiakh, Alexandre Maurer:
FEBR: Expert-Based Recommendation Framework for Beneficial and Personalized Content. 52-68 - Jonas Höchst, Hicham Bellafkir, Patrick Lampe, Markus Vogelbacher, Markus Mühling, Daniel Schneider, Kim Lindner, Sascha Rösner, Dana G. Schabo, Nina Farwig, Bernd Freisleben:
Bird@Edge: Bird Species Recognition at the Edge. 69-86 - Anshuman Misra, Ajay D. Kshemkalyani:
Solvability of Byzantine Fault-Tolerant Causal Ordering Problems. 87-103 - João Paulo Bezerra, Petr Kuznetsov, Alice Koroleva:
Relaxed Reliable Broadcast for Decentralized Trust. 104-118 - Sinchan Sengupta, Sathya Peri, Parwat Singh Anjana:
A Self-stabilizing Minimum Average Stretch Spanning Tree Construction. 119-135 - Hamid Garmani, Mohamed El Amrani, Driss Ait Omar, Mohamed Ouaskou, Mohamed Baslam:
Analysis of Interactions Among Infrastructure Provider Fronting Content Provider. 136-146
Networking
- Laine E. Rumreich, Paolo A. G. Sivilotti:
An Eventually Perfect Failure Detector on ADD Channels Using Clustering. 149-166 - J. J. Garcia-Luna-Aceves, Dylan Cirimelli-Low:
Making CSMA Collision-Free and Stable Using Collaborative Indexing. 167-183 - Markus Sommer, Jonas Höchst, Artur Sterz, Alvar Penning, Bernd Freisleben:
ProgDTN: Programmable Disruption-Tolerant Networking. 184-200 - Karla Vargas, Gregory V. Chockler:
Distributed Oracle for Estimating Global Network Delay with Known Error Bounds. 201-221 - Imane Chakour, Cherki Daoui, Mohamed Baslam:
Mechanical Energy Minimization UAV-Mounted Base Station Path Plan for Public Safety Communication. 222-235 - Lhoussaine Daoudi, Mohamed Baslam, Said Safi:
Dynamics Analysis for a Duopoly Game with Bounded Rationality in Cognitive Radio Network. 236-251 - Salima Attache, Ikram Remadna, Labib Sadek Terrissa, Ikram Maouche, Noureddine Zerhouni:
IoT Based Prediction of Active and Passive Earth Pressure Coefficients Using Artificial Neural Networks. 252-262
Verification
- Viktor Malík, Petr Silling, Tomás Vojnar:
Applying Custom Patterns in Semantic Equality Analysis. 265-282 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Verifying Reachability for TSO Programs with Dynamic Thread Creation. 283-300
Security
- Janne Alatalo, Joni Korpihalkola, Tuomo Sipola, Tero Kokkonen:
Chromatic and Spatial Analysis of One-Pixel Attacks Against an Image Classifier. 303-316
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.