yusuke1997/dblp-id-title huggingface dataset:
An Efficient Checkpointing Algorithm for Distributed Systems Implementing Reliable Communication Channels
ACaZoo: A Distributed Key-Value Store Based on Replicated LSM-Trees
Keyword Search with Path-Based Filtering over XML Streams
Dynamically Quantifying and Improving the Reliability of Distributed Storage Systems
Reliably Executing Tasks in the Presence of Untrusted Entities
Efficient TDMA Synchronization for Distributed Embedded Systems
Optimization Based Topology Control for Wireless Ad Hoc Networks to Meet QoS Requirements
Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines
Towards Reliable Reputations for Dynamic Networked Systems
Optimistic Message Logging for Independent Checkpointing in Message-Passing Systems
SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine
Cyber-Intrusion Response
An Approach to Dynamically Adapting Distributed System Architecture
Optimistic Recovery in Multi-threaded Distributed Systems
Design and Analysis of a Hardware-Assisted Checkpointing and Recovery Scheme for Distributed Applications
An Investigation of Membership and Clique Avoidance in TTP/C
Off-Line Diagnosis of Parallel Systems
Range-Based Set Reconciliation
Abstractions for Devising Byzantine-Resilient State Machine Replication
Denial of Service Elusion (DoSE): Keeping Clients Connected for Less
Signature-Based Top-k Query Processing against Data Replacement Attacks in MANETs
The Challenge of Creating Productive Collaborating Information Assurance Communities via Internet Research and Standards
Quantifying Rollback Propagation in Distributed Checkpointing
Transfer as a Service: Towards a Cost-Effective Model for Multi-site Cloud Data Management
Byzantine Fault-Tolerant Publish/Subscribe: A Cloud Computing Infrastructure
The TClouds platform: concept, architecture and instantiations
Monitoring Local Progress with Watchdog Timers Deduced from Global Properties
Ares II: Tracing the Flaws of a (Storage) God
Automatic Generation of Graceful Programs
Adaptive Batching for Replicated Servers
Adaptive IP Mutation: A Proactive Approach for Defending against Worm Propagation
Optimal Checkpointing of Real-Time Tasks
Keeping Processes Under Surveillance
Tolerance to Unbounded Byzantine Faults
An Investigation on Data Center Cooling Systems Using FPGA-based Temperature Side Channels
Heterogeneous Checkpointing for Multithreaded Applications
Secure Dissemination of Video Data in Vehicle-to-Vehicle Systems
Adaptive Internal Clock Synchronization
On the Cost of Safe Storage for Public Clouds: An Experimental Evaluation
Implementing Fault-Tolerant Replicated Ojects Using Psync
Fault Masking and Sequence Agreement by a Voting Protocol with low Message Number
Reliability and Security Issues in Distributed Computing Systems
O(N * sqrt(N)) Decentralized Commit Protocols
On the Use of Model Checking Techniques for Dependability Evaluation
The Sentry System
A Saturation Network to Tolerate Faults and Intrusions
Mobile Cloud-of-Clouds Storage Made Efficient: A Network Coding Based Approach
A Lower Bound On The Reliability of an n -Dimensional Hypercube
Accurate and Efficient Counting in Dynamic Networks
A Security Auction-Like Negotiation Protocol for Agent-Based Internet Trading
Temporal Uncertainties in Interactions among Real-Time Objects
Improved Fast Rerouting Using Postprocessing
Fault Tolerance in a Multisensor Environment
Asynchronous Byzantine Group Communication
A Case for Dynamically Programmable Storage Background Tasks
Implementing IPv6 as a Peer-to-Peer Overlay Network
An Absolute-Relative Risk Assessment Methodology Approach to Current Safety Critical Systems and its Application to the ADS-B based Air Traffic Control System
Automatic Model-Driven Recovery in Distributed Systems
Self-Organizing Formation Algorithm for Active Elements
Token-based Atomic Broadcast using Unreliable Failure Detectors
Trusted Computing Meets Blockchain: Rollback Attacks and a Solution for Hyperledger Fabric
On-Demand Recovery in Middleware Storage Systems
A Correctness Criterion for Advanced Transcation Models
A Search for Routing Strategies in a Peer-to-Peer Network Using Genetic Programming
Performance Characterization of Quorum-Consensus Allgorihms for Replicated Data
Three Point Encryption (3PE): Secure Communications in Delay Tolerant Networks
Comparing Operating Systems Using Robustness Benchmarks
Optimistic Validation of Electronic Tickets
Anonymous and Confidential File Sharing over Untrusted Clouds
ScaIOTA: Scalable Secure Over-the-Air Software Updates for Vehicles
DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones
SeNDORComm: An Energy-Efficient Priority-Driven Communication Layer for Reliable Wireless Sensor Networks
Towards a Practical Survivable Intrusion Tolerant Replication System
On the Progress in Fault-Tolerant Real-Time Computing
Modeling Reliability Requirements in Coordinated Node and Link Mapping
MUSE: A Message Passing Concurrent Computer for On-Board Space Systems
A Secure Two Phase Locking Protocol
PR-TDR: Privacy-Preserving and Reliable Timed Data Release
DATAFLASKS: Epidemic Store for Massive Scale Systems
Optimal Replica Control Protocols for Ring Networks
Intrusion-Tolerant and Confidentiality-Preserving Publish/Subscribe Messaging
Activity Monitoring to Guarantee File Availability in Structured P2P File-sharing Systems
Hazard Analysis of Complex Distributed Railway Systems
Designing a Robust Namespace for Distributed File Services
Fault Localization in MANET-Hosted Service-Based Systems
A Testbed for Data Routing in Low-Power WSNs using DV-Hop Based Trajectory Encoding Algorithm
Lightweight Task Graph Inference for Distributed Applications
A Protocol Description Language for Customizing Semantics
Load Balancing Schemes for High-Throughput Distributed Fault-Tolerant Servers
Route Lookup Optimization Including Energy Efficient Conditions in an Optical Transmission Network
Experimental Evaluation of the Impact of Processor Faults on Parallel Applications
ByzID: Byzantine Fault Tolerance from Intrusion Detection
A VP-Accordant Checkpointing Protocol Preventing Useless Checkpoints
Fuzzing IPC with Knowledge Inference
Impact of Man-In-The-Middle Attacks on Ethereum
TLP-IDS: A Two-layer Intrusion Detection System for Integrated Electronic Systems
An Object-Oriented Design Model for Reliable Distributed Systems
Z Codes: General Systematic Erasure Codes with Optimal Repair Bandwidth and Storage for Distributed Storage Systems
ALBUS: a Probabilistic Monitoring Algorithm to Counter Burst-Flood Attacks
A proposal for Ensuring High Availability of Distributed Multimedia Applications
POSH: Proactive co-Operative Self-Healing in Unattended Wireless Sensor Networks
Hybrid Overloading and Stochastic Analysis for Redundant Real-time Multiprocessor Systems
Approximate Hash-Based Set Reconciliation for Distributed Replica Repair
Asynchronous Resource Discovery in Peer to Peer Networks
Applying Text Classification Algorithms in Web Services Robustness Testing
Lateral Movement Detection Using Distributed Data Fusion
Reliable and Highly Available Distributed Publish/Subscribe Service
Relocating Processes in Distributed Computer Systems
33rd IEEE International Symposium on Reliable Distributed Systems Workshops, SRDS Workshops 2014, Nara, Japan, October 6-9, 2014
Fault-Tolerant Replication Management in Large-Scale Distributed Storage Systems
Issues Process and Communication Structure for Distributed Programs
Design and Evaluation of a QoS-Adaptive System for Reliable Multicasting
A Statistical Framework on Software Aging Modeling with Continuous-Time Hidden Markov Model
How Big Can An Atomic Action Be?
Checkpointing and Rollback Recovery in a Distributed System Using Common Time Base
Resource-Aware Migratory Services in Wide-Area Shared Computing Environments
Bloxy: Providing Transparent and Generic BFT-Based Ordering Services for Blockchains
Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns
International Symposium on Reliable Distributed Systems, SRDS 2020, Shanghai, China, September 21-24, 2020
Using Stashing to Increase Node Autonomy in Distributed File Systems
Primary-Backup Replication: From a Time-Free Protocol to a Time-Based Implementation
Designing Masking Fault Tolerance via Nonmasking Fault Tolerance
Gyro: A Modular Scale-Out Layer for Single-Server DBMSs
Performance Issue Diagnosis for Online Service Systems
Quorum Consensus Algorithms for Secure and Reliable Data
Exploiting Decoding Computational Locality to Improve the I/O Performance of an XOR-Coded Storage Cluster under Concurrent Failures
A new look at atomic broadcast in the asynchronous crash-recovery model
35th IEEE Symposium on Reliable Distributed Systems, SRDS 2016, Budapest, Hungary, September 26-29, 2016
On Concurrency and Reliability of a Real-time DBMS for 5ESS Switching System
Analyzing Dynamic Voting Using Petri Nets
Making Reads in BFT State Machine Replication Fast, Linearizable, and Live
An End-To-End Log Management Framework for Distributed Systems
Building Secure Applications Using Pattern-Based Design Fragments
Exploiting Node Connection Regularity for DHT Replication
Load Balancing of Dynamic and Adaptive Mesh-Based Computations
Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks
Simulation of the Adapt On-Line Diagnosis Algorithm for General Topology Networks
Agile Store: Experience with Quorum-Based Data Replication Techniques for Adaptive Byzantine Fault Tolerance
Transaction Management in a Distributed Database System for Local Area Networks
RDE: Replay DEbugging for Diagnosing Production Site Failures
Database Replication Techniques: A Three Parameter Classification
Off the Wall: Lightweight Distributed Filtering to Mitigate Distributed Denial of Service Attacks
Availability Models with Age-Dependent Checkpointing
Chameleon: Adaptive Fault Tolerance Using Reliable, Mobile Agents
An Environment for Importance Sampling Based on Stochastic Activity Networks
Modeling Fault-Tolerant Mobile Agent Execution as a Sequence of Agreement Problems
Data De-duplication and Event Processing for Security Applications on an Embedded Processor
A Performance Study of Epoch-based Commit Protocols in Distributed OLTP Databases
Energy Efficient Storage Management Cooperated with Data Intensive Applications in Virtual Machines
Fault-Tolerant Virtual Private Networks within An Autonomous System
Active Software Replication through a Three-Tier Approach
37th IEEE Symposium on Reliable Distributed Systems, SRDS 2018, Salvador, Brazil, October 2-5, 2018
Coping with Network Partitions and Processor Failures in a Distributed System
Selecting a "Primary Partition" in Partitionable Asynchronous Distributed Systems
SwiftER: Elastic Erasure Coded Storage System
Distributed Lock Management in a Transaction Processing Environment
Deleting Files in the Celeste Peer-to-Peer Storage System
Performance Analysis of Distributed Data Base Systems
MSF-Model: Queuing-Based Analysis and Prediction of Metastable Failures in Replicated Storage Systems
Practical State Machine Replication with Confidentiality
A Robust, Distributed Election Protocol
Conflict Graph Based Channel Allocation in Cognitive Radio Networks
Enhancing Distributed Security and Reliability in Semiconductor Supply Chains with Blockchain and Chemistry Integration
FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments
Assessing the Dependability of OGSA Middleware by Fault Injection
Real Distribution of Response Time Instability in Service-Oriented Architecture
An SNMP based failure detection service
PCM: A Parity-Check Matrix Based Approach to Improve Decoding Performance of XOR-based Erasure Codes
Availability Assessment of HA Standby Redundant Clusters
Towards a Federated Simulation Approach for Reliability Evaluation of Unmanned Aircraft Vehicles within Aeronautical Communcations Networking
WRAPS: Denial-of-Service Defense through Web Referrals
Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants
Fair Comparison of Gossip Algorithms over Large-Scale Random Topologies
Node-level indicators of soft faults in wireless sensor networks
Framework for Intrusion Tolerant Certification Authority System Evaluation
Benchmarking Dependability of MapReduce Systems
Look-Ahead Traffic Distribution in Wormhole-Routed Networks
Susceptibility Analysis of Structured P2P Systems to Localized Eclipse Attacks
Forkmon: Monitoring the Networks Supporting Bitcoin Hard Forks
The Chameleon Infrastructure for Adaptive, Software Implemented Fault Tolerance
Extending The Boundaries and Exploring The Limits Of Blockchain Compression
Performance Evaluation of a Metaprotocol for Database Replication Adaptability
Copying Garbage Collection for Distributed Object Stores
Regenerating Codes: A System Perspective
Self-Stabilizing Local Mutual Exclusion on Networks in which Process Identifiers are not Distinct
Exactly-Once End-to-End Semantics in CORBA Invocations across Heterogeneous Fault-Tolerant ORBs
Structure Process for a Cooperative Approach to Fault-Tolerant Distributed Software
SmartMonit: Real-Time Big Data Monitoring System
A k-Anonymization Algorithm on Social Network Data that Reduces Distances between Nodes
Improving Cloud Service Resilience Using Brownout-Aware Load-Balancing
Aggregating CVSS Base Scores for Semantics-Rich Network Security Metrics
Rollback Based on Vector Time
The Roe File System
An Analytical Framework and Its Applications for Studying Brick Storage Reliability
MQT-TZ: Hardening IoT Brokers Using ARM TrustZone : (Practical Experience Report)
Robust Multi-Resource Allocation with Demand Uncertainties in Cloud Scheduler
Asynchronous Software Voting in NMR Computer Structures
A Method for Combining Replication with Caching
Reducing Noise in Gossip-Based Reliable Broadcast
PSG-Codes: An Erasure Codes Family with High Fault Tolerance and Fast Recovery
An Algebraic System for Deadlock Detection and its Applications
Multilevel Checkpoint/Restart for Large Computational Jobs on Distributed Computing Resources
PnyxDB: a Lightweight Leaderless Democratic Byzantine Fault Tolerant Replicated Datastore
A Experimental Investigation of Software Diversity in a Fault-Tolerant Avionics Application
BlindFilter: Privacy-Preserving Spam Email Detection Using Homomorphic Encryption
30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), Madrid, Spain, October 4-7, 2011
RATCHETA: Memory-Bounded Hybrid Byzantine Consensus for Cooperative Embedded Systems
A Model for Interface Groups
A Replicated Object Server for a Distributed Object-Oriented System
Improving the Reliability and Availability of Vehicular Communications Using Voronoi Diagram-Based Placement of Road Side Units
KITLOG: a Generic Logging Service
Bounded Approximate Reliability Models for Distributed Systems
Impact of Operational Reliability Re-assessment during Aircraft Missions
Reconfiguring Parallel State Machine Replication
End-to-End Congestion Control for Content-Based Networks
ASFALT: A Simple Fault-Tolerant Signature-based Localization Technique for Emergency Sensor Networks
24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005),26-28 October 2005, Orlando, FL, USA
Consistency Management among Replicas in Peer-to-Peer Mobile Ad Hoc Networks
Providing Uniform Reliable Broadcast Delivery for Mobile Ad Hoc Networks with MANET Liveness Property
Issues in Multimedia Synchronization over Broadband Networks
Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks
CRIBA: A Tool for Comprehensive Analysis of Cryptographic Ransomware's I/O Behavior
Model Checking of Consensus Algorit
Message Logging Optimization for Wireless Networks
xAMp: A Multi-primitive Group Communications Service
Optimal Storage under Unsynchronized Mobile Byzantine Faults
Vassago: Efficient and Authenticated Provenance Query on Multiple Blockchains
Presto: Optimizing Cross-Shard Transactions in Sharded Blockchain Architecture
Predicting Dependability Properties On-line
Reaching Approximate Agreement in the Presence of Faults
A Simple and Efficient Randomized Byzantine Agreement Algorithm
Availability of Coding Based Replication Schemes
Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge
Design and Validation of a Distributed Industrial Control System's Nodes
D-Cliques: Compensating for Data Heterogeneity with Topology in Decentralized Federated Learning
Optimal Network Reconfiguration for Software Defined Networks Using Shuffle-Based Online MTD
MinervaFS: A User-Space File System for Generalised Deduplication: (Practical experience report)
A Commit Protocol for Checkpointing Transactions
Lazy Verification in Fault-Tolerant Distributed Storage Systems
Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing, DISCCO '13, Braga, Portugal, September 30, 2013
Visualizing and Controlling VMI-Based Malware Analysis in IaaS Cloud
PlayCloud: A Platform to Experiment with Coding Techniques for Storage in the Cloud
Safe and Efficient Active Network Programming
Distributed and Private Group Management
GradedDAG: An Asynchronous DAG-based BFT Consensus with Lower Latency
Later Validation/Earlier Write: Concurrency Control for Resource-Constrained Systems with Real-Time Properties
Adaptive Erasure Correction Coding for Energy Efficient Dependable Storage Systems
MDC-Cast: A Total-Order Broadcast Protocol for Multi-Datacenter Environments
Double Insurance: Incentivized Federated Learning with Differential Privacy in Mobile Crowdsensing
Improvements and Reconsideration of Distributed Snapshot Protocols
A Systematic Approach to the Development of Event Based Applications
Evolving Distributed Software Engineering Environments
A Token-Based Resiliency Control Scheme in Replicated Database Systems
Dynamic Crash Recovery of Balanced Trees
Efficient Transparent Optimistic Rollback Recovery for Distributed Application Programs
Enabling I/O-Efficient Redundancy Transitioning in Erasure-Coded KV Stores via Elastic Reed-Solomon Codes
Building Ad-Hoc Clouds with CloudAgora
Low-Overhead Routing for Offchain Networks with High Resource Utilization
2PPS - Publish/Subscribe with Provable Privacy
Towards Reliable Communication in Intelligent Transportation Systems
Scalability and Resilience in Practice: Current Trends and Opportunities
ZoneTrust: Fast Zone-Based Node Compromise Detection and Revocation in Sensor Networks Using Sequential Analysis
Edge Applications: Just Right Consistency
38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019
A Study on Latent Vulnerabilities
FWC: Fitting Weight Compression Method for Reducing Communication Traffic for Federated Learning
Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction
33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014, Nara, Japan, October 6-9, 2014
Distributed Attribute Based Access Control of Aggregated Data in Sensor Clouds
A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance
Operating System Support for Software Migration in a Distributed System
Privacy-Preserving Content-Based Image Retrieval in the Cloud
Causally Coordinated Snapshot Isolation for Geographically Replicated Data
TANGO: Toward a More Reliable Mobile Streaming through Cooperation between Cellular Network and Mobile Devices
NetODESSA: Dynamic Policy Enforcement in Cloud Networks
A Paradigm for User-Defined Security Policies
Systematic Composition and Analyzability of Dependable Networked Embedded Computing Systems
Interactive Consistency with Multiple Failure Modes
Analytical Assessment of the Precision Degradation Caused by Faults in a Fault-Tolerant Master/Slave Clock Synchronization Service for CAN
A Timestamp-Based Checkpointing Protocol for Long-Lived Distributed Computations
Membership and System Diagnosis
Héron: Taming Tail Latencies in Key-Value Stores Under Heterogeneous Workloads
Self-Stabilization in Tree-Structured Peer-to-Peer Service Discovery Systems
Efficient Identity-Based Encryption with Minimal Server Trust
Self-Stabilizing Distributed File Systems
Detecting Malicious Gradients from Asynchronous SGD on Variational Autoencoder
Detection and Incentive: A Tampering Detection Mechanism for Object Detection in Edge Computing
Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking
First Step toward Cloud-Based Firewalling
Voting as the Optimal Static Pessimistic Scheme for Managing Replicated Data
An Implementation of Reliable Broadcast Using an Unreliable Multicast Facility
WAFFLE: Watermarking in Federated Learning
End-to-End Evaluation of Federated Learning and Split Learning for Internet of Things
Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems
Combining Learning and Model-Based Reasoning to Reduce Uncertainties in Cloud Security and Compliance Auditing
SegmentShield: Exploiting Segmentation Hardware for Protecting against Buffer Overflow Attacks
Dependability of CORBA Systems: Service Characterization by Fault Injection
Incremental Elasticity for NoSQL Data Stores
Experiments with Self-Stabilizing Distributed Data Fusion
To Transmit Now or Not to Transmit Now
The Art of Creating Reliable Software-based Systems using Off-the-Shelf Software Components
Scaling Geo-replicated Databases to the MEC Environment
A Pragmatic Implementation of e-Transactions
The Two-Phase Commit Performance of the DECdtm Services
RD2: Resilient Dynamic Desynchronization for TDMA over Lossy Networks
Merkle Search Trees: Efficient State-Based CRDTs in Open Networks
Designing System-Level Defenses against Cellphone Malware
Data-Pach: Integrating Inconsistent Copies of a Database After a Partition
Stylized Interprocess Communication - A Kernel Primitive for Reliable Distributed Computing
ZooFence: Principled Service Partitioning and Application to the ZooKeeper Coordination Service
Management of Mobile Agent Systems using Social Insect Metaphors
Energy-Efficient and Fault-Tolerant Structural Health Monitoring in Wireless Sensor Networks
An Incremental File System Consistency Checker for Block-Level CDP Systems
On Patterns for Practical Fault Tolerant Software in Java
Fast Genuine Generalized Consensus
On the Support of Versioning in Distributed Key-Value Stores
Consistent Replication of Multithreaded Distributed Objects
26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), Beijing, China, October 10-12, 2007
An Approach for Combinatorial Performance and Availability Analysis
20th Symposium on Reliable Distributed Systems (SRDS 2001), 28-31 October 2001, New Orleans, LA, USA
Chasing the FLP Impossibility Result in a LAN or How Robust Can a Fault Tolerant Server Be?
Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems
A Practical Framework for Privacy-Preserving NoSQL Databases
Availability Analysis of Network-Attack-Resilient Byzantine Fault Tolerant Systems
A Realistic Evaluation of Optimistic Dynamic Voting
Time-Sensitive Utility-Based Routing in Duty-Cycle Wireless Sensor Networks with Unreliable Links
MuSE: Multimodal Searchable Encryption for Cloud Applications
Efficient Treatment of Failures in RPC Systems
Attack-Resistant Spanning Tree Construction in Route-Restricted Overlay Networks
Simpler is Better: Revisiting Mencius State Machine Replication
Optimistic Failure Recovery for Very Large Networks
Performance Analysis of the CORBA Event Service using Stochastic Reward Nets
Independent Recovery
Modeling and Detecting Failures in Next-generation Distributed Multimedia Applications
A Cost-Effective Cloud Event Archival for SIEMs
A Distributed NameNode Cluster for a Highly-Available Hadoop Distributed File System
Optimization of a Real-Time Primary-Backup Replication Service
Emergent Overlays for Adaptive MANET Broadcast
On Availability for Blockchain-Based Systems
Buffer Management in Probabilistic Peer-to-Peer Communication Protocols
Distributed Diagnosis of Failures in a Three Tier E-Commerce System
Non-Blocking Synchronous Checkpointing Based on Rollback-Dependency Trackability
Proactive Hot Spot Avoidance for Web Server Dependability
Recovery-Management in the RelaX Distributed Transaction layer
Distributed Center Location Algorithm for Fault-Tolerant Multicast in Wide-Area Networks