Section 1 - Invited Papers.- Transactional Memory Today.- Maintaining Coherent Views over Dynamic Distributed Data.- Malware: From Modelling to Practical Detection.- Semantic Frameworks-Meanings in the Architecture.- Section 2 - Networking.- Fuzzy-Controlled Source-Initiated Multicasting (FSIM) in Ad Hoc Networks.- On Optimal Space Tessellation with Deterministic Deployment for Coverage in Three-Dimensional Wireless Sensor Networks.- Seamless Handoff between IEEE 802.11 and GPRS Networks.- A Tool to Determine Strategic Location and Ranges of Nodes for Optimum Deployment of Wireless Sensor Network.- An Efficient Hybrid Data-Gathering Scheme in Wireless Sensor Networks.- Section 3 - Grid Computing and Web Services.- Introducing Dynamic Ranking on Web Pages Based on Multiple Ontology Supported Domains.- Multi-criteria Service Selection with Optimal Stopping in Dynamic Service-Oriented Systems.- Template-Based Process Abstraction for Reusable Inter-organizational Applications in RESTful Architecture.- Enhancing the Hierarchical Clustering Mechanism of Storing Resources' Security Policies in a Grid Authorization System.- A Framework for Web-Based Negotiation.- Section 4 - Internet Technology and Distributed Computing.- Performance Analysis of a Renewal Input Bulk Service Queue with Accessible and Non-accessible Batches.- A Distributed Algorithm for Pattern Formation by Autonomous Robots, with No Agreement on Coordinate Compass.- Gathering Asynchronous Transparent Fat Robots.- Development of Generalized HPC Simulator.- Performance Analysis of Finite Buffer Queueing System with Multiple Heterogeneous Servers.- Finite Buffer Controllable Single and Batch Service Queues.- Enhanced Search in Peer-to-Peer Networks Using Fuzzy Logic.- Section 5 - Software Engineering: Secured Systems.- UML-Compiler: A Framework for Syntactic and Semantic Verification of UML Diagrams.- Evolution of Hyperelliptic Curve Cryptosystems.- Reliability Improvement Based on Prioritization of Source Code.- Secure Dynamic Identity-Based Remote User Authentication Scheme.- Theoretical Notes on Regular Graphs as Applied to Optimal Network Design.- Formal Approaches to Location Management in Mobile Communications.- Automated Test Scenario Selection Based on Levenshtein Distance.- Section 6 - Societal Applications.- Study of Diffusion Models in an Academic Social Network.- First Advisory and Real-Time Health Surveillance to Reduce Maternal Mortality Using Mobile Technology.