Distributed Computing and Internet Technology

Section 1: Distributed Systems and Languages.- A Denotational Model for Web Services Choreography.- On Automated Testing of Description Logic Reasoners.- A Domain-Specific Language for Application-Level Checkpointing.- Section 2: Data Grid.- Data Replication Using Experience Based Trust in a Data Grid Environment.- Back-Edge Heuristic for Efficient Data Distribution in Grid Systems.- Web Users’ Personality Traits Analysis.- Section 3: Security.- A New Approach for Security in MPLS Multicast Networks.- Application for a Secure Fax System.- Forward-Secure Multi-signatures.- Section 4: Mobile Ad-Hoc Networks.- Modeling and Analysis of Mobility in MANeTs for Distributed Applications.- Scalability and Route Failure Time of a Hybrid Protocol for Identification of Node-Disjoint Paths in Mobile Ad Hoc Networks.- A Strict Priority Based QoS-Aware MAC Protocol for Mobile Ad Hoc Networks.- QoS-Aware Dynamic Source Routing Using Diffserv Principles.- An Energy Efficient Communication Scheme for Distributed Computing Applications in Wireless Sensor Networks.- Section 5: Distributed Databases.- Optimizing Distributed Joins with Bloom Filters.- Analyzing Integrity Tests for Data Caching in Mobile Databases.- Section 6: Web Applications.- A Web Based Pathfinder Service for Road Networks in India.- An Approach to Archive Remote Sensing Images Based on ActiveX and Grid Service.- Section 7: P2P Systems.- Heuristic Algorithm for Optimization of P2P-Based Public-Resource Computing Systems.- Credibility Based Reputation Calculation in P2P Networks.