Vol 5, No 3 (2014)
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