Table of Contents
Articles
Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY | |
Nadeem Akhtar | 1-16 |
Computer Govern Maintenance System for a Process Industry | |
Rajiv Suman, Sushil Kumar Choudhary, Pooja Preet | 17-24 |
A New Method of Gridding for Spot Detection in Microarray Images | |
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 | |
Nadeem Akhtar, Anique Akhtar | 34-42 |
Adaptive Mean Value Function Based Quality Assessment of Software Reliable Growth Models | |
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 | |
Stephen Kwasi Adzimah, Issifu Ibrahim | 50-65 |
A Usability Evaluation Framework for B2C E-Commerce Websites | |
Sandeep Kumar Panda | 66-85 |
An Evaluation of Web Based Expert System as a Catalyst for Maize Production in Kenya | |
Andrew Kipkebut | 86-97 |
Managing of Urban Water Network using GIS Concept | |
Samir Mahmud Adam Abdalla, Magdy Shayboub Ali Mahmoud | 98-109 |
A Survey on Live Virtual Machine Migrations and its Techniques | |
Swapnil M. Parikh | 110-113 |
Virtual Explorer: a Path Prediction Algorithm for Intelligent Transport Systems | |
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