Distributed Computing and Internet Technology: 11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings

474 Pages·2015·14.235 MB·English

by  Raja Natarajan, Gautam Barua, Manas Ranjan Patra (eds.)

Raja Natarajan
Gautam Barua
Manas Ranjan Patra (Eds.)
6
5
Distributed Computing
9
8

S
C and Internet Technology
N
L
11th International Conference, ICDCIT 2015
Bhubaneswar, India, February 5–8, 2015
Proceedings
123
Lecture Notes in Computer Science 8956
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison
LancasterUniversity,UK
TakeoKanade
CarnegieMellonUniversity,Pittsburgh,PA,USA
JosefKittler
UniversityofSurrey,Guildford,UK
JonM.Kleinberg
CornellUniversity,Ithaca,NY,USA
FriedemannMattern
ETHZurich,Switzerland
JohnC.Mitchell
StanfordUniversity,CA,USA
MoniNaor
WeizmannInstituteofScience,Rehovot,Israel
C.PanduRangan
IndianInstituteofTechnology,Madras,India
BernhardSteffen
TUDortmundUniversity,Germany
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
MaxPlanckInstituteforInformatics,Saarbruecken,Germany
Raja Natarajan Gautam Barua
Manas Ranjan Patra (Eds.)
Distributed Computing
and Internet Technology
11th International Conference, ICDCIT 2015
Bhubaneswar, India, February 5-8, 2015
Proceedings
1 3
VolumeEditors
RajaNatarajan
TataInstituteofFundamentalResearch
SchoolofTechnologyandComputerScience
Mumbai,India
E-mail:[email protected]
GautamBarua
IndianInstituteofTechnologyGuwahati
DepartmentofComputerScienceandEngineering
Guwahati,India
E-mail:[email protected]
ManasRanjanPatra
BerhampurUniversity
DepartmentofComputerScience
Berhampur,India
E-mail:[email protected]
ISSN0302-9743 e-ISSN1611-3349
ISBN978-3-319-14976-9 e-ISBN978-3-319-14977-6
DOI10.1007/978-3-319-14977-6
SpringerChamHeidelbergNewYorkDordrechtLondon
LibraryofCongressControlNumber:2014959002
LNCSSublibrary:SL3–InformationSystemsandApplication,
incl.Internet/WebandHCI
©SpringerInternationalPublishingSwitzerland2015
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof
thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,
broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology
nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection
withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand
executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation,
inistcurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse
maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution
undertherespectiveCopyrightLaw.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication,
neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor
omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe
materialcontainedherein.
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper
SpringerispartofSpringerScience+BusinessMedia(www.springer.com)
Preface
The11thInternationalConferenceonDistributedComputingandInternetTech-
nology, ICDCIT-2015, took place in Bhubaneswar, India, during February 5–8,
2015, and was hosted and sponsored by Kalinga Institute of Information Tech-
nology (KIIT) University.
The ICDCIT conference series focusses on three broad areas of computer
science, viz., distributed computing, Internet technologies, and societal appli-
cations. It provides a platform for academicians, researchers, practitioners, and
developers to present and publish their research findings and also deliberate on
contemporary topics in the area of distributed computing and Internet technol-
ogy. From the very inception of the ICDCIT series, the conference proceedings
are published by Springer as Lecture Notes in Computer Science – vol. 3347
(year 2004), 3816 (2005), 4317 (2006), 4882 (2007), 5375 (2008), 5966 (2010),
6536 (2011), 7154 (2012), 7753 (2013), 8337 (2014), and 8956 (2015).
In response to the call for submissions, ICDCIT 2015 received 221 abstracts
fromauthors in different countries. Subsequently, 165 submissions with full ver-
sions were reviewed by an international Program Committee (PC) consisting
of 35 members from 10 countries. Each submission was peer-reviewed by two
to three PC members with the help of external reviewers. After receiving the
reviews on the papers, the PC meeting was conducted electronically over a pe-
riod of ten days in the later part of October 2014 to discuss and finalize the
acceptance of submissions under different categories. This year the PC decided
tointroducethePosterPapercategoryinordertoencouragelargerparticipation
and presentation of ongoing research activities. Based on relevance to the con-
ferencethemeandqualityoftechnicalcontentsandpresentationstyle,42papers
(25%) wereacceptedfor presentationandpublicationinthe LNCSproceedings
out of which 12 papers are under the category of regular papers each with a
maximum length of 12 pages, 13 short papers of 6 pages each, and 17 poster
papers of 4 pages each. We wish to thank all the PC members and external
reviewers for their hard work, dedication, and timely submission of the reviews
withoutwhichitwouldhavebeendifficultto maintainthe publicationschedule.
The program also included invited lectures by nine distinguished speakers:
Laxmi Parida (IBM T.J. Watson Research Centre, USA), G. Michele Pinna
(UniversityofCagliari,Italy),CatusciaPalamidessi(InriaSaclay,France),Niko-
laj Bjorner (Microsoft Research, Redmond, USA), E`ric Rutten (Inria Greno-
ble, France), Krithi Ramamritham (IIT Bombay, India), Sanjiva Prasad (IIT
Delhi, India), Manik Lal Das (DA-IICT, Gandhinagar, India), and Bud Mishra
(CourantInstitute,NYU,USA).Weexpressoursincerethankstoalltheinvited
speakersforacceptingourinvitationtosharetheirexpertiseandalsosubmitfull
papers for inclusion in the proceedings.
VI Preface
Our sincere thanks to Achyuta Samanta (Founder of KIIT University) for
his patronage and constant support in the hosting of the ICDCIT conference
series. We are grateful to the Vice-Chancellor and administration of the KIIT
University for providingus with the infrastructure and logistics to organize this
international event. We are indebted to the Advisory Committee members for
their constant guidance and support.
Wewouldliketothankandplaceonrecordtheinvaluableserviceandtireless
efforts of the organizing chair, finance chair, publicity chair, registration chair,
session management chair, the publications chair, and all members of various
committees.Wewouldalsoliketothankthechair-personsofthesatelliteevents,
the Student Symposium and the Industry Symposium. Our special thanks to
Hrushikesha Mohanty and D.N. Dwivedy for their valuable advice and whole-
hearted involvement in all activities.
Wewishtoacknowledgeandthankalltheauthorsfortheirscholarlycontribu-
tionstotheconference,whichevokedinterestingdiscussionsduringthetechnical
sessions. Our thanks are also due to the technical session chairs for managing
the sessions effectively. We acknowledge the service rendered by EasyChair for
efficientandsmoothhandlingofallactivitiesstartingfrompapersubmissionsto
preparation of the proceedings. We sincerely thank Alfred Hofmann and Anna
Kramer of Springer for their cooperation and constant support all through the
publication process of this LNCS volume.
Lastbutnot the least, we thank allthe participantsandpeople who directly
or indirectly contributed toward making ICDCIT 2015 a memorable event.
February 2015 Raja Natarajan
Gautam Barua
Manas Ranjan Patra
Organization
Program Committee
Gautam Barua IIT Guwahati, India (ProgramCo-chair)
Anup Kumar Bhattacharjee BARC, India
Suman Bhattacharya Tata Consultancy Services, India
Ajay Kumar Bisoi KIIT University, India
Nikolaj Bjorner Microsoft Research, USA
Sung-Bae Cho Yonsei University, Korea
Hung Dang Van Vietnam National University, Vietnam
Manik Lal Das DA-IICT, India
Satchidananda Dehuri Fakir Mohan University, India
Gu¨nter Fahrnberger University of Hagen, Germany
Manoj Gore MNNIT, India
Chittaranjan Hota BITS-Pilani Hyderabad, India
Devesh Jinwala SVNIT, India
Venkata Swamy Martha Walmart Labs, USA
Harekrishna Misra IRMA, India
Krishnendu Mukhopadhyaya Indian Statistical Institute, India
Vineet Padmanabhan Nair University of Hyderabad, India
Jukka K. Nurminen Aalto University, Finland
Adegboyega Ojo UNU-IIST, China
Bhabhani Sankar Panda IIT Delhi, India
Bighnaraj Panigrahi TCS Innovation Labs, India
Manas Ranjan Patra Berhampur University, India
(Program Co-chair)
Dana Petcu West University of Timisoara, Romania
Kishore Kumar Pusukuri University of California, Riverside, USA
P. Radha Krishna Infosys Technologies Limited, India
O.B.V. Ramanaiah JNTU, India
S. Ramaswamy ABB Corporate Research, India
R.K. Samanta University of North Bengal, India
P.G. Sapna CIT, Coimbatore, India
Hiroshi Sasaki Kyushu University, Japan
S. Swamynathan Anna University, India
Hideyuki Takahashi Tohoku University, Japan
Ranjit Jeba Thangaiah Karunya University, India
Siba K. Udgata University of Hyderabad, India
SaravananVenkataraman Majmaah University, Saudi Arabia
VIII Organization
Additional Reviewers
Ahmadi Zeleti, Fatemeh Mohanty, Hrushikesha
Al-Shabi, Waled Nayak, Deveeshree
Al-Shukri, Shaymaa Porwol, Lukasz
Dang, Duc-Hanh Rathinasamy, Lenin
Jetley, Raoul Sarangi, Smruti
Lal, Rajendra Prasad Sudarsan, Sithu
Mandal, Partha Sarathi Threm, David
Martha, Venkata Swamy Vo, Hieu
Meenpal, Toshanlal Yu, Liguo
Table of Contents
Invited Papers
Models of Circular Causality ...................................... 1
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna,
and Roberto Zunino
Checking Cloud Contracts in Microsoft Azure ....................... 21
Nikolaj Bjørner and Karthick Jayaraman
Privacy and Security Challenges in Internet of Things ................ 33
Manik Lal Das
Geo-indistinguishability: A Principled Approach to Location Privacy ... 49
Konstantinos Chatzikokolakis, Catuscia Palamidessi,
and Marco Stronati
Fusing Sensors for Occupancy Sensing in Smart Buildings............. 73
Nabeel Nasir, Kartik Palani, Amandeep Chugh, Vivek Chil Prakash,
Uddhav Arote, P. Anand Krishnan, and Krithi Ramamritham
Discrete Control-Based Design of Adaptive and Autonomic Computing
Systems ........................................................ 93
Xin An, Gwena¨el Delaval, Jean-Philippe Diguet,
Abdoulaye Gamati´e, Soguy Gueye, Herv´e Marchand,
No¨el de Palma, and Eric Rutten
Designing for Scalability and Trustworthiness in mHealth Systems ..... 114
Sanjiva Prasad
Host Trait Prediction of Metagenomic Data for Topology-Based
Visualization .................................................... 134
Laxmi Parida, Niina Haiminen, David Haws, and Jan Suchodolski
Gappy Total Recaller: Efficient Algorithms and Data Structures for
Accurate Transcriptomics ......................................... 150
B. Mishra
Distributed Computing and Algorithms
Finding RkNN Set in Directed Graphs.............................. 162
Pankaj Sahu, Prachi Agrawal, Vikram Goyal, and Debajyoti Bera
X Table of Contents
Gathering Asynchronous Swarm Robots under Nonuniform Limited
Visibility........................................................ 174
Avik Chatterjee, Sruti Gan Chaudhuri,
and Krishnendu Mukhopadhyaya
A Routing Calculus with Flooding Updates ......................... 181
Manish Gaur, Simon J. Gay, and Ian Mackie
k-Distinct Strong Minimum Energy Topology Problem in Wireless
Sensor Networks ................................................. 187
Bhawani Sankar Panda, D. Pushparaj Shetty, and Arti Pandey
Path Planning Algorithm for Mobile Anchor in Connected Sensor
Networks ....................................................... 193
Kaushik Mondal, Arindam Karmakar, and Partha Sarathi Mandal
SMCDCT: AFrameworkforAutomated MC/DC TestCaseGeneration
Using Distributed Concolic Testing................................. 199
Sangharatna Godboley, Subhrakanta Panda,
and Durga Prasad Mohapatra
On-the-FlySymmetryReductionofExplicitlyRepresentedProbabilistic
Models ......................................................... 203
Reema Patel, Kevin Patel, and Dhiren Patel
Internet Technologies and Web Services
Time and Cost Aware Checkpointing of ChoreographedWeb Services... 207
Vani Vathsala Atluri and Hrushikesha Mohanty
A Preprocessing of Service Registry: Based on I/O Parameter
Similarity ....................................................... 220
H.N. Lakshmi and Hrushikesha Mohanty
Financial Risk Management in e-commerce Using Executable Business
Process Modeling Notation........................................ 233
Ramkumar Iyer and Sanjeevi Moorthy
DILT: A Hybrid Model for Dynamic Composition and Execution of
Heterogeneous Web Services....................................... 239
Kanchana Rajaram, Chitra Babu, and Akshaya Ganesan
Application of Soft Computing Technique for Web Service Selection .... 245
Debendra Kumar Naik, Smita Kumari, and Santanu Kumar Rath
Weighted Load Balanced Adaptive Gateway Discovery in Integrated
Internet MANET ................................................ 249
Rafi U. Zaman, Khaleel Ur Rahman Khan, and A. Venugopal Reddy