Distributed Computing and Internet Technology

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Distributed Graph Analytics
3. Altmetric Badge
   Chapter 2 A Distributed and Trusted Web of Formal Proofs
4. Altmetric Badge
   Chapter 3 Prospero’s Books: A Distributed Architecture for AI
5. Altmetric Badge
   Chapter 4 Trust: Anthropomorphic Algorithmic
6. Altmetric Badge
   Chapter 5 A Very Gentle Introduction to Multiparty Session Types
7. Altmetric Badge
   Chapter 6 Constructing Knowledge Graphs from Data Catalogues
8. Altmetric Badge
   Chapter 7 Round-Message Trade-Off in Distributed Steiner Tree Construction in the CONGEST Model
9. Altmetric Badge
   Chapter 8 An Efficient Message Transmission and Verification Scheme for VANETs
10. Altmetric Badge
    Chapter 9 Generalised Dining Philosophers as Feedback Control
11. Altmetric Badge
    Chapter 10 Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes
12. Altmetric Badge
    Chapter 11 Secure Content-Based Image Retrieval Using Combined Features in Cloud
13. Altmetric Badge
    Chapter 12 Design of a Scheduling Approach for Budget-Deadline Constrained Applications in Heterogeneous Clouds
14. Altmetric Badge
    Chapter 13 Resource Scheduling for Tasks of a Workflow in Cloud Environment
15. Altmetric Badge
    Chapter 14 Bearing Fault Classification Using Wavelet Energy and Autoencoder
16. Altmetric Badge
    Chapter 15 Community Detection in Social Networks Using Deep Learning
17. Altmetric Badge
    Chapter 16 Multi-Winner Heterogeneous Spectrum Auction Mechanism for Channel Allocation in Cognitive Radio Networks
18. Altmetric Badge
    Chapter 17 A Hybrid Approach for Fake News Detection in Twitter Based on User Features and Graph Embedding
19. Altmetric Badge
    Chapter 18 Online Context-Adaptive Energy-Aware Security Allocation in Mobile Devices: A Tale of Two Algorithms
20. Altmetric Badge
    Chapter 19 A Framework Towards Generalized Mid-term Energy Forecasting Model for Industrial Sector in Smart Grid
21. Altmetric Badge
    Chapter 20 An Online Low-Cost System for Air Quality Monitoring, Prediction, and Warning
22. Altmetric Badge
    Chapter 21 Word2vec’s Distributed Word Representation for Hindi Word Sense Disambiguation
23. Altmetric Badge
    Chapter 22 Text Document Clustering Using Community Discovery Approach
24. Altmetric Badge
    Chapter 23 An Efficient and Novel Buyer and Seller’s Distributed Ledger Based Protocol Using Smart Contracts
25. Altmetric Badge
    Chapter 24 Distributed and Lazy Auditing of Outsourced Data
26. Altmetric Badge
    Chapter 25 HealthChain: A Secure Scalable Health Care Data Management System Using Blockchain
27. Altmetric Badge
    Chapter 26 Transcript Management Using Blockchain Enabled Smart Contracts
28. Altmetric Badge
    Chapter 27 Identifying Reduced Features Based on IG-Threshold for DoS Attack Detection Using PART
29. Altmetric Badge
    Chapter 28 Uniform Circle Formation by Swarm Robots Under Limited Visibility
30. Altmetric Badge
    Chapter 29 Histopathological Image Classification by Optimized Neural Network Using IGSA