Networked Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Program Analyses Using Newton’s Method (Invited Paper)
3. Altmetric Badge
   Chapter 2 Formalizing and Implementing Distributed Ledger Objects
4. Altmetric Badge
   Chapter 3 On the Unfairness of Blockchain
5. Altmetric Badge
   Chapter 4 Weak Failures: Definitions, Algorithms and Impossibility Results
6. Altmetric Badge
   Chapter 5 Complete Visibility for Oblivious Robots in $$\mathcal{O}(N)$$ Time
7. Altmetric Badge
   Chapter 6 Gathering of Mobile Agents in Asynchronous Byzantine Environments with Authenticated Whiteboards
8. Altmetric Badge
   Chapter 7 Short Paper: BPMN Process Analysis: A Formal Validation and Verification Eclipse Plugin for BPMN Process Models
9. Altmetric Badge
   Chapter 8 On Helping and Stacks
10. Altmetric Badge
    Chapter 9 Anonymity in Distributed Read/Write Systems: An Introductory Survey
11. Altmetric Badge
    Chapter 10 An Anonymous Wait-Free Weak-Set Object Implementation
12. Altmetric Badge
    Chapter 11 Efficient Means of Achieving Composability Using Object Based Semantics in Transactional Memory Systems
13. Altmetric Badge
    Chapter 12 Unleashing and Speeding Up Readers in Atomic Object Implementations
14. Altmetric Badge
    Chapter 13 Optimal Recoverable Mutual Exclusion Using only FASAS
15. Altmetric Badge
    Chapter 14 Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols
16. Altmetric Badge
    Chapter 15 On Verifying TSO Robustness for Event-Driven Asynchronous Programs
17. Altmetric Badge
    Chapter 16 Model Checking Dynamic Pushdown Networks with Locks and Priorities
18. Altmetric Badge
    Chapter 17 OSM-GKM Optimal Shared Multicast-Based Solution for Group Key Management in Mobile IPv6
19. Altmetric Badge
    Chapter 18 A Game-Theoretic Approach for the Internet Content Distribution Chain
20. Altmetric Badge
    Chapter 19 New Competition-Based Approach for Caching Popular Content in ICN
21. Altmetric Badge
    Chapter 20 Churn Possibilities and Impossibilities
22. Altmetric Badge
    Chapter 21 Practically-Self-stabilizing Vector Clocks in the Absence of Execution Fairness
23. Altmetric Badge
    Chapter 22 Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching
24. Altmetric Badge
    Chapter 23 Automata-Based Bottom-Up Design of Conflict-Free Security Policies Specified as Policy Expressions
25. Altmetric Badge
    Chapter 24 Short Paper: S tress -SGX: Load and Stress Your Enclaves for Fun and Profit
26. Altmetric Badge
    Chapter 25 Short Paper: Application of Noisy Attacks on Image Steganography
27. Altmetric Badge
    Chapter 26 A Measure for Quantifying the Topological Structure of Some Networks
28. Altmetric Badge
    Chapter 27 Short Paper: Maintenance of Strongly Connected Component in Shared-Memory Graph
29. Altmetric Badge
    Chapter 28 Comparative Analysis of Our Association Rules Based Approach and a Genetic Approach for OLAP Partitioning
30. Altmetric Badge
    Chapter 29 Short Paper: IoT Context-Driven Architecture: Characterization of the Behavioral Aspect