


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
, Saïd 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














