Networked Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Nonrepudiation Protocols Without a Trusted Party
3. Altmetric Badge
   Chapter 2 Exploiting Concurrency in Domain-Specific Data Structures: A Concurrent Order Book and Workload Generator for Online Trading
4. Altmetric Badge
   Chapter 3 Fault Tolerant P2P RIA Crawling
5. Altmetric Badge
   Chapter 4 Networked Systems
6. Altmetric Badge
   Chapter 5 Accurate Optimization Method for Allocation of Heterogeneous Resources in Embedded Systems
7. Altmetric Badge
   Chapter 6 Understanding the Memory Consumption of the MiBench Embedded Benchmark
8. Altmetric Badge
   Chapter 7 Benchmarking Energy-Centric Broadcast Protocols in Wireless Sensor Networks
9. Altmetric Badge
   Chapter 8 Transactional Pointers: Experiences with HTM-Based Reference Counting in C++
10. Altmetric Badge
    Chapter 9 A Multi-channel Energy Efficient Cooperative MIMO Routing Protocol for Clustered WSNs
11. Altmetric Badge
    Chapter 10 Counting in Practical Anonymous Dynamic Networks is Polynomial
12. Altmetric Badge
    Chapter 11 Internet Computing: Using Reputation to Select Workers from a Pool
13. Altmetric Badge
    Chapter 12 Asynchronous Consensus with Bounded Memory
14. Altmetric Badge
    Chapter 13 A Fuzzy AHP Approach to Network Selection Improvement in Heterogeneous Wireless Networks
15. Altmetric Badge
    Chapter 14 A Fault-Tolerant Sequentially Consistent DSM with a Compositional Correctness Proof
16. Altmetric Badge
    Chapter 15 Exploiting Crowd Sourced Reviews to Explain Movie Recommendation
17. Altmetric Badge
    Chapter 16 A Formal Model for WebRTC Signaling Using SDL
18. Altmetric Badge
    Chapter 17 An Incremental Proof-Based Process of the NetBill Electronic Commerce Protocol
19. Altmetric Badge
    Chapter 18 Securing NFC Credit Card Payments Against Malicious Retailers
20. Altmetric Badge
    Chapter 19 An Approach to Resolve NP-Hard Problems of Firewalls
21. Altmetric Badge
    Chapter 20 Hybrid Encryption Approach Using Dynamic Key Generation and Symmetric Key Algorithm for RFID Systems
22. Altmetric Badge
    Chapter 21 Time-Efficient Read/Write Register in Crash-Prone Asynchronous Message-Passing Systems
23. Altmetric Badge
    Chapter 22 Traffic Lights Optimization with Distributed Ant Colony Optimization Based on Multi-agent System
24. Altmetric Badge
    Chapter 23 A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof System
25. Altmetric Badge
    Chapter 24 The Out-of-core KNN Awakens:
26. Altmetric Badge
    Chapter 25 The 4-Octahedron Abstract Domain
27. Altmetric Badge
    Chapter 26 Reversible Phase Transitions in a Structured Overlay Network with Churn
28. Altmetric Badge
    Chapter 27 Verification of Common Business Rules in BPMN Process Models
29. Altmetric Badge
    Chapter 28 Is Youtube Popularity Prediction a Good Way to Improve Caching Efficiency?
30. Altmetric Badge
    Chapter 29 Waiting in Concurrent Algorithms
31. Altmetric Badge
    Chapter 30 Corona Product Complexity of Planar Graph and S -chain Graph
32. Altmetric Badge
    Chapter 31 Vehicular Ad-Hoc Network: Evaluation of QoS and QoE for Multimedia Application