Distributed Computing and Internet Technology

1. Front Matter

   Pages i-xiii

   PDF

2. Invited Talks

   1. Front Matter

      Pages 1-1

      PDF

   2. Distributed Graph Analytics

      • Y. N. Srikant

      Pages 3-20

   3. A Distributed and Trusted Web of Formal Proofs

      • Dale Miller

      Pages 21-40

   4. Prospero’s Books: A Distributed Architecture for AI

      • Bhubaneswar (Bud) Mishra

      Pages 41-49

   5. Trust: Anthropomorphic Algorithmic

      • Hrushikesha Mohanty

      Pages 50-72

   6. A Very Gentle Introduction to Multiparty Session Types

      • Nobuko Yoshida, Lorenzo Gheri

      Pages 73-93

   7. Constructing Knowledge Graphs from Data Catalogues

      • Adegboyega Ojo, Oladipupo Sennaike

      Pages 94-107

3. Concurrent and Distributed Systems Modelling and Verification

   1. Front Matter

      Pages 109-109

      PDF

   2. Round-Message Trade-Off in Distributed Steiner Tree Construction in the CONGEST Model

      • Parikshit Saikia, Sushanta Karmakar

      Pages 111-126

   3. An Efficient Message Transmission and Verification Scheme for VANETs

      • Kunal Bajaj, Trupil Limbasiya, Debasis Das

      Pages 127-143

   4. Generalised Dining Philosophers as Feedback Control

      • Venkatesh Choppella, Arjun Sanjeev, Kasturi Viswanath, Bharat Jayaraman

      Pages 144-164

   5. Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes

      • Anantha Padmanabha, R. Ramanujam

      Pages 165-176

4. Cloud and Grid Computing

   1. Front Matter

      Pages 177-177

      PDF

   2. Secure Content-Based Image Retrieval Using Combined Features in Cloud

      • J. Anju, R. Shreelekshmi

      Pages 179-197

   3. Design of a Scheduling Approach for Budget-Deadline Constrained Applications in Heterogeneous Clouds

      • Naela Rizvi, Dharavath Ramesh

      Pages 198-213

   4. Resource Scheduling for Tasks of a Workflow in Cloud Environment

      • Kamalesh Karmakar, Rajib K Das, Sunirmal Khatua

      Pages 214-226

   5. Bearing Fault Classification Using Wavelet Energy and Autoencoder

      • Sandeep S. Udmale, Sanjay Kumar Singh

      Pages 227-238

5. Social Networks, Machine Learning and Mobile Networks

   1. Front Matter

      Pages 239-239

      PDF

   2. Community Detection in Social Networks Using Deep Learning

      • M. Dhilber, S. Durga Bhavani

      Pages 241-250

This book constitutes the proceedings of the 16th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2020. The 20 full and 3 short papers presented in this volume were carefully reviewed and selected from 110 submissions. In addition, the book included 6 invited papers. 
The contributions were organized in topical sections named: invited talks; concurrent and distributed systems modelling and verification; cloud and grid computing; social networks, machine learning and mobile networks; data processing and blockchain technology; and short papers. 

• artificial intelligence
• authentication
• cloud computing
• computer hardware
• computer networks
• computer systems
• cryptography
• data security
• distributed computer systems
• engineering
• internet
• Internet of Things (IoT)
• network protocols
• public key cryptography
• telecommunication networks
• telecommunication systems
• wireless networks
• wireless sensor networks
• wireless telecommunication systems
• World Wide Web

• Vietnam National University, Hanoi, Vietnam

  Dang Van Hung

• International Institute of Information Technology, Bangalore, India

  Meenakshi D´Souza

Policies and ethics