Distributed Computing and Internet Technology

1. Front Matter

   PDF

2. Invited Papers

   1. Models of Circular Causality

      • Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino

      Pages 1-20

   2. Checking Cloud Contracts in Microsoft Azure

      • Nikolaj Bjørner, Karthick Jayaraman

      Pages 21-32

   3. Privacy and Security Challenges in Internet of Things

      • Manik Lal Das

      Pages 33-48

   4. Geo-indistinguishability: A Principled Approach to Location Privacy

      • Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati

      Pages 49-72

   5. Fusing Sensors for Occupancy Sensing in Smart Buildings

      • Nabeel Nasir, Kartik Palani, Amandeep Chugh, Vivek Chil Prakash, Uddhav Arote, Anand P. Krishnan et al.

      Pages 73-92

   6. Discrete Control-Based Design of Adaptive and Autonomic Computing Systems

      • Xin An, Gwenaël Delaval, Jean-Philippe Diguet, Abdoulaye Gamatié, Soguy Gueye, Hervé Marchand et al.

      Pages 93-113

   7. Designing for Scalability and Trustworthiness in mHealth Systems

      • Sanjiva Prasad

      Pages 114-133

   8. Host Trait Prediction of Metagenomic Data for Topology-Based Visualization

      • Laxmi Parida, Niina Haiminen, David Haws, Jan Suchodolski

      Pages 134-149

   9. Gappy Total Recaller: Efficient Algorithms and Data Structures for Accurate Transcriptomics

      • B. Mishra

      Pages 150-161

3. Distributed Computing and Algorithms

   1. Finding RkNN Set in Directed Graphs

      • Pankaj Sahu, Prachi Agrawal, Vikram Goyal, Debajyoti Bera

      Pages 162-173

   2. Gathering Asynchronous Swarm Robots under Nonuniform Limited Visibility

      • Avik Chatterjee, Sruti Gan Chaudhuri, Krishnendu Mukhopadhyaya

      Pages 174-180

   3. A Routing Calculus with Flooding Updates

      • Manish Gaur, Simon J. Gay, Ian Mackie

      Pages 181-186

   4. k-Distinct Strong Minimum Energy Topology Problem in Wireless Sensor Networks

      • Bhawani Sankar Panda, D. Pushparaj Shetty, Arti Pandey

      Pages 187-192

   5. Path Planning Algorithm for Mobile Anchor in Connected Sensor Networks

      • Kaushik Mondal, Arindam Karmakar, Partha Sarathi Mandal

      Pages 193-198

   6. SMCDCT: A Framework for Automated MC/DC Test Case Generation Using Distributed Concolic Testing

      • Sangharatna Godboley, Subhrakanta Panda, Durga Prasad Mohapatra

      Pages 199-202

   7. On-the-Fly Symmetry Reduction of Explicitly Represented Probabilistic Models

      • Reema Patel, Kevin Patel, Dhiren Patel

      Pages 203-206

4. Internet Technologies and Web Services

   1. Time and Cost Aware Checkpointing of Choreographed Web Services

      • Vani Vathsala Atluri, Hrushikesha Mohanty

      Pages 207-219

   2. A Preprocessing of Service Registry: Based on I/O Parameter Similarity

      • Lakshmi H.N., Hrushikesha Mohanty

      Pages 220-232

   3. Financial Risk Management in e-commerce Using Executable Business Process Modeling Notation

      • Ramkumar Iyer, Sanjeevi Moorthy

      Pages 233-238

This book constitutes the refereed proceedings of the 11th International Conference on Distributed Computing and Internet Technology, ICDCIT 2015, held in Bhubaneswar, India, in February 2015. The 12 revised full papers presented together with 30 short papers and 9 invited talks in this volume were carefully reviewed and selected from 221 submissions. The papers cover topics such as distributed computing and algorithms; internet technologies and Web services; secure computing and communication; cloud computing; information retrieval and recommender systems and societal applications.

• Distributed algorithms
• Distributed architectures
• Mobile ad hoc Networks
• Peer-to-peer architectures
• Sensor Networks
• Web services
• business process modeling
• cloud computing
• cryptography
• data structures design and analysis
• formal security models
• grid computing
• information retrieval
• intrusion detection systems
• network privacy and anonymity
• query planning
• recommender systems
• self-organizing autonomic computing
• social networks
• visualization techniques

• School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai, India

  Raja Natarajan

• Department of Computer Science and Engineering, Indian Institute of Technology Guwahati, Guwahati, India

  Gautam Barua

• Department of Computer Science,, Berhampur University, Berhampur, India

  Manas Ranjan Patra

Policies and ethics