Skip to main content
SpringerLink
Log in

Distributed Computing and Internet Technology

16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Dang Van Hung

    1. Vietnam National University, Hanoi, Vietnam

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Meenakshi D´Souza

    1. International Institute of Information Technology, Bangalore, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11969)

Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)

Included in the following conference series:

Conference proceedings info: ICDCIT 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter PDF

    2. Community Detection in Social Networks Using Deep Learning

      • M. Dhilber, S. Durga Bhavani
      Pages 241-250
Back to top

Other volumes

  1. Distributed Computing and Internet Technology

Keywords

About this book

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. 

Editors and Affiliations

  • Vietnam National University, Hanoi, Vietnam

    Dang Van Hung

  • International Institute of Information Technology, Bangalore, India

    Meenakshi D´Souza

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation