Title	Modeling and Formal Verification of Communication Protocols for Remote Procedure Call
Author	Nilimesh Halder, A.B.M Tariqul Islam, Ju Bin Song
Citation	Vol. 7  No. 7  pp. 63-71
Keywords	Formal Verification, Symbolic Model Verifier, Remote Procedure Call, Request protocol, Request Reply protocol, Request Reply Acknowledgement protocol

Title	Software Component Models from a Technical perspective
Author	Mohd Hasan Selamat, Hamid Sanatnama, Abdul Azim Abd Ghani, Rodziah Atan
Citation	Vol. 7  No. 10  pp. 135-147
Keywords	Component Models, Component Compositions, Interoperability, Remote Procedure Call

Title	COMMPC - Component Based Middleware for Pervasive Computing
Author	R. Nagaraja, G. T. Raju
Citation	Vol. 11  No. 9  pp. 124-131
Keywords	CDC Connected Device Configuration, CLDC Connected Limited Device Configuration, SCA Service Component Architecture, QRPC Queued Remote Procedure call, IE Intelligent Environment, IIOP Internet Inter-ORB Protocol, BT Blue tooth, AC access mode, AM adhoc

Title	CloneCloud in Mobile Cloud Computing
Author	Zulfiqar A. Memon, Javed Ahmed, Jawaid A. Siddiqui
Citation	Vol. 17  No. 8  pp. 28-34
Keywords	mobile cloud computing, clonecloud, remote procedure calls, virtual machine, offloading.