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