| Reg No. |
Full Name |
Paper Title |
| 1004 |
Zeba Ishaq |
Performance enhancement of mayday using random routing |
| 1006 |
Muhammad Atif |
Analysis and Verification of Two-Phase Commit & Three-Phase Commit Protocols
(On author's request this paper is not part of
proceedings) |
| 1012 |
Muhammad Aurangzeb |
Building Manageable Software Systems Software Scalability & Extensibility: ICE Guidelines |
| 1013 |
Saima Abdul Ghaffar |
CSCW Supported Object Model for the Remote Collaborative Designers |
| 1014 |
Rizwan Ur Rashid |
Anomily Detection in Data Dtreams using Fuzzy Logic |
| 1017 |
Muhammad Aurangzeb |
Deciding Factors in Localization of Government Applications - Benefits & Issues |
| 1019 |
Syed Zubair Ahmad |
Towards Dependable Wireless Networks:
Optimal Resource Allocation for QoS provisioning in heterogeneous Mobile
Networks |
| 1021 |
Aqeel-ur-Rehman |
Agri-Grid: A Context - Aware Sensor Grid Framework for Solving Agriculture Problems |
| 1022 |
Abu Zafar Abbasi |
Designing Context-Aware Workflows |
| 1023 |
Muhammad Shahab Siddiqui |
Community Algorithm: Classification of users and their roles in a community by their Level of Interaction |
| 1024 |
Ehtsham Irshad |
Secure Mobility in Mobile Adhoc Networks |
| 1025 |
Noman Islam |
A Data Management Faremework for Mobile Adhoc Networks (MANET) |
| 1026 |
Muhammad Saeed Akbar |
Optimization of Transmission Control
Protocol (TCP) Parameters for HighlyDynamic Link Characteristics of
Mobile Wireless Networks |
| 1027 |
Ijazuddin |
Face Shadow Based Recognition Using 2nd Binary Images acuisition in static pose |
| 1028 |
Rab Nawaz Khan Jadoon |
Energy Efficient Cluster Based Routing Protocol for Wireless
Sensor Networks |
| 1029 |
Nasir Gul |
An Overview of Data Warehousing and OLAP Technology |
| 1030 |
Wahab |
aOpen Architecture Programmable Manipulator Design Philosophy (PMD) |
| 1031 |
Sardar Mohammad |
Extreme Use Case for Extreme Programming (XP) |
| 1032 |
Munir Hussain Naveed |
Using Gradient based Learning Models for the Plagiarism Detection of Class Assessments |
| 1033 |
Aneel Rahim |
A need of Secure Data Dissemination Scheme for VANETS |
| 1034 |
Muhammad Muneer Umar |
Multimedia Ownership Identification Using Iris-Marks |
| 1035 |
Muhammad Altaf Khan |
Personal Authentication System using Hybrid Coding Technique |
| 1036 |
Fida Hussain |
Software Perfective Maintenance: Using ARM model |
| 1037 |
Fida Hussain |
"Robust and Flexible Software Inspection Model" for Software Re-Engineering: Abstraction Phase |
| 1038 |
Natash Ali Mian |
Formal Specification of Database Reverse Engineering Process Using Z Notation |
| 1039 |
Yasir Imtiaz Khan |
Formalization of Two to Five state Process Management System using Integration of Approaches |
| 1040 |
Shagufta Riaz |
Constructive Formal Linkage of Moore
Machine and Deterministic Finite Automata |
| 1041 |
Syed Hasnain Haider Shah |
Constructive Formal Conversion of Transition Graph to Deterministic Finite Automata |
| 1042 |
Asim Raza |
Formal Modeling of Process Management System using Automata, UML and VDM-SL |
| 1044 |
Basit Raza |
Evolution of Automata Database Management Systems |
| 1045 |
Umbreen Tajammul |
Formal Dynamic Model of UMTS Communication System |
| 1046 |
Ghulam Mubashar Hassan |
Cell Phone based Geographical Advertisement System (CGAS) |
| 1048 |
Abdul Mateen |
Autonomic Computing Vision |
| 1050 |
Zeeshan Ahmed |
I-SOAS towards Product Data Management (PDM) based Application's Problems |
| 1051 |
Nasir Gul |
Special on Importance of ICT in Economic Development |
| 1052 |
Qaisar Naveed Ashraf |
Person Identification based on Palm and Hand Geometry |
| 1053 |
Khurram Shaukat |
SCGTDB- A CBSE based CASE tool
development methodology |
| 1055 |
Amir Ali |
Formal Specification of Banker’s
Algorithm using Z Notations and VDM |
| 1058 |
Munira Ghulam Nabi |
Automata based framework for building
Multiagent systems using formal methods |
