![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.