Vol 5, No 3 (2014)

Table of Contents

Articles

Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY PDF
Nadeem Akhtar 1-16
Computer Govern Maintenance System for a Process Industry PDF
Rajiv Suman, Sushil Kumar Choudhary, Pooja Preet 17-24
A New Method of Gridding for Spot Detection in Microarray Images PDF
J. Harikiran, D. RamaKrishna, B. Avinash, P.V. Lakshmi, R. KiranKumar 25-33
KitRobot: A multi-platform graphical programming IDE to program mini-robotic agents PDF
Nadeem Akhtar, Anique Akhtar 34-42
Adaptive Mean Value Function Based Quality Assessment of Software Reliable Growth Models PDF
Chandra Mouli Venkata Srinivas Akana,, C. Divakar, Ch. Satyanarayana 43-49
A Computer Programme to Determine the Bending and Pitting Stresses of Gears and the Effect of Varying the AGMA Stress Equation Parameters on the Stress Values PDF
Stephen Kwasi Adzimah, Issifu Ibrahim 50-65
A Usability Evaluation Framework for B2C E-Commerce Websites PDF
Sandeep Kumar Panda 66-85
An Evaluation of Web Based Expert System as a Catalyst for Maize Production in Kenya PDF
Andrew Kipkebut 86-97
Managing of Urban Water Network using GIS Concept PDF
Samir Mahmud Adam Abdalla, Magdy Shayboub Ali Mahmoud 98-109
A Survey on Live Virtual Machine Migrations and its Techniques PDF
Swapnil M. Parikh 110-113
Virtual Explorer: a Path Prediction Algorithm for Intelligent Transport Systems PDF
Arwa Zabian, Ahmad Ibrahim, Sami Qawasmeh 114-122


Paper submission email: CEIS@iiste.org

ISSN (Paper)2222-1727 ISSN (Online)2222-2863

Please add our address "contact@iiste.org" into your email contact list.

This journal follows ISO 9001 management standard and licensed under a Creative Commons Attribution 3.0 License.

Copyright © www.iiste.org