MS Computer Science

The Master of Science in Computer Science MS (CS) program provides students the opportunity to combine a sound
foundation in Computer Science with concentrated knowledge in the latest developments in particular areas. The
program provides preparation in the advanced principles and processes of computation and training in applying
these principles in application areas in industry, science, government, and business. The program emphasizes on
course work along with practical assignments and research project.
The MS Computer Science program, spanned over four semesters, is in accordance with HEC MS(CS) curriculum
and consists of four core courses and four electives from various areas of specializations.

Program Details
S. #. Course Code Course Title Credit Hours

Semester - I

1 CS 641 Advanced Analysis of Algorithm 3

2 CS 673 Advanced Computer Architecture 3

3 CS XXX CS Elective I 3

Semester Cr. Hrs. 9

Semester - II

1 CS 640 Advanced Theory of Computation 3

2 CS 650 Advanced Operating Systems 3

3 CS XXX CS Elective II 3

4 CS XXX CS Elective III 3

Semester Cr. Hrs. 12

Semester - III

1 CS XXX CS Elective IV 3

2 CS 605 Thesis 6

Semester Cr. Hrs. 9

135 PROSPECTUS 2014-15 AIR UNIVERSITY

 Semester - IV

1 CS 605 Thesis (continue) -

Semester Cr. Hrs. -

Total Cr. Hrs. 30

Important Notes:
1. Students with inadequate background will need to cover the prescribed deficiency courses before joining the
main MS CS Program.

List of Elective Courses

Credit
S. #. Course Code Course Title Prerequisite
Hours
Software Engineering
1 CS 601 Advanced Software Development 3
2 CS 602 Topics in Software Engineering 3
3 CS 603 Object Oriented Software Engineering 3
4 CS 604 Software Quality Assurance 3
5 CS 705 Requirements Engineering 3
6 CS 606 Software Architecture 3
7 CS 607 Agent Oriented Software Engineering 3
8 CS 608 Software Project Management 3
9 CS 609 Software Design 3
10 CS 610 Software Engineering & Formal Specifications 3
11 CS 611 Empirical Software Engineering 3
12 CS 612 Software Process Improvement 3
13 CS 613 Component-Based Software Engineering 3
14 CS 614 Safety-Critical Systems 3

AIR UNIVERSITY PROSPECTUS 2014-15 136

 Information Management
15 CS 615 Advanced Database Management Systems 3
16 CS 616 Multimedia Database Systems 3
17 CS 617 Database Design 3
18 CS 618 Transaction Processing 3
19 CS 619 Distributed Databases 3
20 CS 620 Data Mining 3
21 CS 621 Spatial and Temporal Databases 3
22 CS 622 Data Warehousing 3
23 CS 623 Object Oriented Databases 3
24 CS 624 Advanced Topics in Databases 3
25 CS 671 Information Security 3
26 CS 625 Cryptography 3
27 CS 626 Information Retrieval Techniques 3
System Engineering
28 CS 627 Digital Signal Processing 3
29 CS 628 Control Systems and Robotics 3
30 CS 629 Real Time Systems 3
31 CS 630 Parallel & Distributed Systems 3
32 CS 631 Embedded System 3
33 CS 632 ASIC Design 3

Communications and Networking

34 CS 633 Advanced Networking 3
35 CS 634 Network Security 3
36 CS 635 Topics in Computer Networkin g 3
37 CS 636 Broadband & Satellite Communication 3
38 CS 637 Mobile and Pervasive computing 3

137 PROSPECTUS 2014-15 AIR UNIVERSITY

39 CS 638 Wireless Networks 3
40 CS 639 Network Programming 3

41 CS 671 Information Security 3

42 CS 642 Network Performance Evaluation 3

43 CS 643 Network Management 3

44 CS 644 Enterprise Networking 3

45 CS 645 Cryptography 3

Distributed Computing

47 CS 646 Cluster Computing 3

48 CS 647 Distributed Computing 3

49 CS 648 Cloud Computing 3

50 CS 649 Autonomous Computing 3

51 CS 651 Grid Computing 3

Programming Language Design and Translators

52 CS 652 Advanced Compiler Design I 3

53 CS 653 Advanced Compiler Design II 3

54 CS 654 Programming Language Semantics 3

55 CS 672 Theory of Programming Languages 3

56 CS 655 Functional Programming 3

57 CS 656 Logic Programming 3

58 CS 657 Algorithms and complexity 3

59 CS 658 Automata and Language Theory 3

60 CS 659 Geometric Algorithms 3

61 CS 660 Parallel Algorithms 3

Artificial Intelligence

62 CS 661 Design of Intelligent Systems 3

63 CS 662 Machine Learning 3

AIR UNIVERSITY PROSPECTUS 2014-15 138

 64 CS 663 Data Mining 3
65 CS 664 Text Mining 3
66 CS 665 Neural Networks 3
67 CS 666 Mathematical Reasoning 3
68 CS 667 Decision Support Systems 3
69 CS 668 Computer Vision 3
70 CS 669 Automated Reasoning 3
71 CS 674 Knowledge based systems 3
72 CS 676 Natural Language Processing 3
73 CS 677 Agents 3
74 CS 678 Robotics 3
75 CS 679 Symbolic Computation 3
76 CS 682 Genetic Algorithms 3
77 CS 683 Semantic Web 3
Computer Architecture and Organization
78 CS 684 Embedded Systems 3
79 CS 685 Parallel and Distributed Systems 3
Human Computer Interaction
80 CS 686 Human Computer Interaction 3
81 CS 687 Intelligent User Interfaces

82 CS 688 Rich Internet Applications 3

83 CS 689 Graphical User Interfaces 3
84 CS 690 Multimedia Systems Development 3
85 CS 691 Interactive-Systems Development 3
Operating Systems
86 CS 692 Concurrent and Distributed Systems 3
87 CS 693 Real- Time Systems 3

139 PROSPECTUS 2014-15 AIR UNIVERSITY

 Web Engineering
88 CS 694 Semantic Web 3
89 CS 695 Web Services 3

90 CS 696 Programming for the World-Wide Web 3

Graphics and Visual Computing
91 CS 697 Advanced Computer Graphics 3
92 CS 698 Image Processing 3
93 CS 699 Multimedia & Hypermedia System 3
94 CS 700 Virtual Reality 3
95 CS 701 Visualization 3
96 CS 702 Geographical Information Systems 3
97 CS 703 Computer Animation 3
98 CS 704 Genetic Algorithms 3

2. Students must select at least two elective courses from the Specialization Area. Other two elective courses may
be selected from other Specialization Areas as offered.

Course Description
CS 640 Advanced Theory of Computation asymptotic analysis of upper and average complexity
Automata theory, formal languages, Turing machines, bounds using big-O, little-o, and theta notation.
computability theory and reducibility, computational Fundamental algorithmic strategies (brute-force,
complexity, determinism, non-determinism, time greedy, divide-and-conquer, backtracking, branch-and-
hierarchy, space hierarchy, NP completeness, selected bound, pattern matching, and numerical
advanced topics. approximations) are covered. Also included are
standard graph and tree algorithms.
CS 641 Advanced Analysis of Algorithm
Advanced algorithm analysis including the CS 650 Advanced Operating Systems
introduction of formal techniques and the underlying Introduction, Characterization of Modern Operating
mathematical theory, NP-completeness, Search Systems; file systems, memory management
Techniques, Randomized Algorithms, Heuristic and techniques, Process scheduling and resource
Approximation Algorithms,Other topics include management, System Models, Architectural models,

AIR UNIVERSITY PROSPECTUS 2014-15 140

 Interposes Communication, Issues of Security in considerations that impact software engineering
Distributed Systems (Partial coverage), Distributed quality, most of the tools and suggestions presented
File System, Concurrency Control in Distributed concern software engineering practices and processes
Systems, Problems of coordination and agreement in
Distributed Systems, Replication – Advantages and CS 705 Requirements Engineering
requirements, Fault-tolerant services, Mobile and Overview of requirements engineering and role in
Ubiquitous Computing system development, Fundamental concepts and
activities of requirements engineering, Information
CS 673 Advanced Computer Architecture elicitation techniques, Modeling scenarios.
This course is aimed at the hardware aspects of parallel Fundamentals of goal-oriented requirements
computer architectures including the design and engineering, Modeling behavioral goals, Modeling
protocols evaluation for memory coherence, inter- quality goals, Goal modeling heuristics, Object
connection networks and system scalability. Advanced modeling for requirements engineering, Object
topics in this course will cover multiprocessors on a modeling notations, Object modeling heuristics,
chip, reconfigurable computing and power aware Identifying objects from goals, Modeling use cases and
designs. Various coarse-grained and fine-grained state machines, Deriving operational requirements
architectures with reference to SIMD and MIMD from goals, Requirements Specification, Requirements
designs should also be covered. verification and validation. Management of
inconsistency and conflict, requirements engineering
Electives risks, the role of quality goals in the requirements
selection process, Techniques for requirements
Specialization Area: Software evaluation, selection and prioritization; Requirements
Engineering management; Requirements traceability and impact
analysis.
CS 601 Advanced Software Development
This advanced software engineering course will CS 603 Object oriented software
explore leading research in the field of software Engineering
maintenance and evolution. This course covers all To get a deeper look in object oriented software
technical phases of the software process including development techniques, pros and cons, theory and
requirements, software architecture and design, practice, RUP process model and UML with object
language-software engineering interface, improving oriented approach, Agile methodology, extreme
the quality of code, diagnostic measures such as peer programming, Pure Object oriented programming
reviews and testing, debugging, uses and misuses of techniques and application in complex problems
metrics, formal approaches, issues in maintenance and
operations. While the course discusses a broad CS 612 Software Process Improvements
constellation of technical and non-technical Introduction to process Models, QA, CM, Project

141 PROSPECTUS 2014-15 AIR UNIVERSITY

Planning, Process Modeling and Process Modeling invariant, From verification to construction, Design by
Techniques (Introduction and ETVX), Process Modeling Contract (DBC), The six principles of Design by
Techniques (IDEF0) Measuring and Analyzing the contract, UML and Formal Methods, The Object
Current State, CMM and Other process models, CMMI– Constraint Language (OCL), Algebraic Specifications,
I, PSP and TSP, Review Lecture, Process Changes using Specifications of abstract data types, Completeness,
PDCA and IDEAL models, Process Assessments, Base- Axioms and term rewriting, Modularity and re-
lining, and Benchmarking, Project Management usability, Model-based specifications, The Z (Zed)
aspects related to process management ,Process specification Language, Z Schemas and Schema
Measurement, Process Metrics i.e. Maturity, Calculus, Promotions, Data and functional
Management, and Life Cycle Metrics, Fundamentals of refinements, Petri Nets, Limitations and Acceptance of
Measurement and Experimentation, GQM and its Formal Methods, Seven Myths of Formal Methods.
application to process management and improvement,
Introduction to Quality Metrics, Software Engineering CS 604 Software Quality Assurance
Measurements, Advance Topics in Software Process. Introduction to software quality assurance, The Quality
Challenge, Quality Control v/s Quality Assurance,
CS 602 Topics in Software Engineering Quality Assurance in Software Projects (Phases),
Component Based Software Engineering, Software Principles and Practices, Quality Management, Quality
Reuse Characteristics of Component, Difference Assurance and Standards, Quality Planning and
between Objects and Components, Component Quality Control, Verification and Validation, Planning
Technologies, Specification, IDL, COTS, Web Services, Verification and Validation, Critical System Validation,
SOA, Challenge, Cloud based software Development, Reliability Validation, Safety Assurance, Security
Semantic web and Software Engineering. Aspect assessment, Inspections and reviews, Principles of
oriented software Engineering. software validation, Software verification, Planning for
Software Quality Assurance, Software Quality
CS 610 Software Engineering & Formal Assurance (SQA) Plans, SQA-Organizational Level
Specification Initiatives, SQA Planning (Observations, Numbers,
Introduction, Limitations of testing and need for formal Results), Software Testing, Specification based test
verification, Overview of logic and propositional construction techniques, White-box and grey-box
calculus, Combinational Logic, Logical Connectives, testing, Others comprehensive software testing
Boolean Equality, Continued Equivalence, Disjunction, techniques for SDLC, Control flow oriented test
Conjunction, Implication, Introduction to Hoare's construction techniques, Data flow oriented test
Logic, Weakest pre-condition, The assignment axiom, construction techniques, Clean-room approach to
Calculating assignments, Sequential composition, quality assurance, Product Quality and Process
Conditional statements, Reasoning about conditional Quality, Standards for process quality and standards
statements, Constructing conditional statements, for product quality, Walkthroughs and Inspections,
Inductive proofs and constructions, Patterns and Structure, Checklist, Audits, Roles and Responsibilities

AIR UNIVERSITY PROSPECTUS 2014-15 142

 (Reviews, Inspections, etc), How to make Reviews and management tools and techniques that will be useful
Inspections most effective throughout an engineer's career.

CS 606 Software Architecture CS 611 Empirical Software Engineering

Definition and overview of software architecture, the This course is for students who are interested in the
architecture business cycle, Understanding and empirical methods applied to the field of software
achieving quality attributes, Attribute-driven design, engineering. The course introduces quantitative and
Documenting software architecture, Evaluating qualitative evaluation methods in software
software architecture, Architecture reuse, Life-cycle engineering. The course contains: 1. Descriptive and
view of architecture design and analysis methods, The inferential statistical methods applied to software
QAW, a method for eliciting critical quality attributes, engineering 2. Qualitative methods in software
s u c h a s a v a i l a b i l i t y, p e r f o r m a n c e , s e c u r i t y, engineering 3. Methods required practicing evidence-
interoperability, and modifiability, Architecture Driven based software engineering
Design, Evaluating a software architecture (ATAM,
CBAM, ARID), Principles of sound documentation, CS 613 Component Based Software
View types, styles, and views; Advanced concepts such Engineering
as refinement, context diagrams, variability, software Introduction to Component Based Software, Java
interfaces, and how to document interfaces; approaches to n-tier architectures (JEE, Spring, etc.),
Documenting the behavior of software elements and Enterprise Computing in the real world (Case Study),
software systems; Choosing relevant views; Building a Message-Oriented Middleware, Virtualization and
documentation package. Cloud Computing, Design Patterns and Enterprise
Architectures, The .NET model for distributed
CS 609 Software Design computing, Persistence layers, User Interfaces, Web
Overview of SLDC, engineering design vs software Services
design, design heuristics and principles, reusability,
metrics and quality of design, design patterns, CS 614 Safety Critical Systems
architectural patterns, design issues of distributed and Safety in Space Related Systems, Market Forces,
real-time software, re-engineering and reverse Tort/Insurance and Regulation, Terminology and
engineering. Ethics, Standards, Safety Culture and Management,
Standards, Conformance and IEC61508,
CS 608 Software Project Management Organizational failure and MORT, Requirements
This course will provide students with the analytical Analysis, Risk Analysis, Software Engineering,
and practical skills to plan, develop and improve the Software Requirements.
effectiveness of a project through hands-on team and Degraded Modes in Safety Related Software, Hardware
project management. The purpose of the course is to Design, Fault Tolerant Architectures and the Shuttle
provide fundamental insights and introduce project GPCs, Microprocessors, PLCs and electromagnetic

143 PROSPECTUS 2014-15 AIR UNIVERSITY

compatibility, Static and Dynamic Testing Reliability and Replication Techniques; Multidatabase
Systems.
Human Factors, Accident and Incident
Analysis CS 620 Data Mining
This course will offer a comprehensive coverage of well-
Specialization Area: Information known Data Mining topics including classification,
Management clustering and association rules. A number of specific
algorithms and techniques under each category will be
CS 616 Multimedia Database Systems discussed. Other topics include decision trees, rule
Introduction; Overview of Relational and Object- system, Bayesian networks, clustering algorithms,
Relational Data Representations; Text/Document regression, classifier and model evaluation.
Databases; Multidimensional Data Structures,
similarity based search (spatial, image, audio); XML CS 622 Data Warehousing
D a t a b a s e s ; Te m p o r a l D a t a M o d e l s ; L o g i c a l Introduction to Data Warehouse and Data Marts,
Frameworks Comparison of OLTP Systems & Data Warehousing,
Data Warehouse Architecture, Dimensional Modeling,
CS 615 Advanced Database Comparison Of DM & ER Models, Extraction,
Management Systems Cleansing and Loading process and techniques,
Object-Oriented Databases, Object-Relational Designing a Data warehouse, End user tools, OLAP.
Databases, Mobile Databases, Temporal, Spatial and
Geographic Databases, Distributed Database Design, CS 626 Information Retrieval Techniques
Distributed Multimedia Database Systems, Data Basic and advanced techniques for text-based
Warehouse and OLAP Systems, Business Intelligence, information systems: efficient text indexing; Basic IR
XML Data Models, XML Documents and DTD, XML Models: Boolean and vector-space retrieval models;
Query Languages, Current Research and Development ranked retrieval; text-similarity metrics; TF-IDF (term
Trends of Database Analysis, Design, Modeling and frequency, inverse document frequency); cosine
Applications similarity; Experimental Evaluation of IR:
Performance metrics: recall, precision, and F-measure;
CS 619 Distributed Databases Evaluations on benchmark text collections; Web search
Introduction to Distributed Data Processing; including crawling, link-based algorithms, and Web
Distributed DBMS Architecture; Distributed Database metadata; text/Web clustering, classification; text
Design: Issues, Fragmentation and Allocation; mining. Current research directions and future
Integrity Constraints, Distributed Query Processing; perspective of the information retrieval domain.
Query Decomposition and Data Localization; Query
Optimization; Distributed Transaction Management CS 671 Information Security
and Concurrency Control; Distributed DBMS Information Security Attacks & Vulnerabilities,

AIR UNIVERSITY PROSPECTUS 2014-15 144

 Anatomy of Attack, Awareness and Management conventional and symmetric encryption (DES, IDEA,
Commitment to Security, Security Policy, Information Blowfish, Rijndael, RC-4, RC-5), public key or
Security Network Architecture Design Rules, Rules for asymmetric encryption (RSA, Diffie-Hellman), key
Selecting Security Hardware & Software, Physical management, hash functions (MD5, SHA-1, RIPEMD-
Security Rules, Network Hardware Security, Operating 160, HMAC), digital signatures, and certificates. The
System Security Rules, PC Operating Security Rules, third part (network security) deals with practical
Internet Security Rules, Application Security Rules, applications that have been implemented and are in use
Software Validation and Verification Rules, Data to provide network security, including authentication
Encryption Rules, Configuration Management Rules, protocols (X.509, Kerberos), electronic mail security
Network Monitoring Rules, Maintenance and (S/MIME, PGP), web security and protocols for secure
Troubleshooting Security Rules, Emergency Rules electronic commerce (IPSec, SSL, TLS, SET).
Attacks, An introduction to confidentiality, integrity,
availability; authentication technologies and models, CS 624 Advanced Topics in Databases
Controls and protection models, Security kernels, Data integration, Semantic heterogeneity, Ontology
Secure programming, Information Auditing, Intrusion engineering, Data caching and replication, Streaming
detection and response, Operational security issues, data, Semi-structured data (i.e., XML) storage,
Physical security issues, Personnel security, Policy Mapping between XML and relational databases,
formation and enforcement, Access controls, Pervasive and mobile distributed database
Information flow, Legal, privacy and social issues, management
Identification and authentication in local and
distributed systems; classification and trust modelling, CS 618 Transaction Processing
Risks and vulnerabilities, Risk assessment, Database This course is for students interested in learning about
security, Encryption, Host-based and network-based properties of transactions including serializability,
security issues, Areas of particular focus include secure recoverability, atomicity, and durability and their
network design, implementation and transition issues, implications for system behavior and performance,
and techniques for responding to security breaches. models of transactions and how they influence the
design of applications involving transactional access to
CS 625 Cryptography a database, implementation and support of transaction
The course consists of three parts: mathematical processing in modern relational and non-relational
background, cryptography, and network security. The database transaction processing systems, such as
first part (mathematical background) introduces the concurrency control and logging, and architecture of
principle of number theory and some results from modern transaction processing systems and how
probability theory, including Primes, random numbers, communication, security, and replication are
modular arithmetic and discrete logarithms. The implemented in distributed transaction processing
second part (cryptography) covers cryptographic systems.
algorithms and design principles, including

145 PROSPECTUS 2014-15 AIR UNIVERSITY

CS 621 Spatial and Temporal Databases invariance, bilinear transform, FIR filter design, 2D
This course includes following topics: Introduction and filter design, Statistical signal processing: Stochastic
motivation, Time ontology, structure, and granularity, signals: correlation functions and power density
Temporal data models, Temporal relational algebras, spectra, Optimal filtering: Wiener filters, Adaptive
Temporal query languages, Algorithms for temporal filters, LMS and array processing.
join and aggregation, Spatial databases and data
models, Shortest path, k-NN, and isochrones queries CS 628 Control Systems and Robotics
Review of classical control analysis methods. Nyquist
CS 623 Object oriented Databases stability criterion. Classical design using frequency
Refreshing, extension and formalization of basic domain methods, phase lead and lag controllers, PID
concepts in object oriented programming and relational controllers. Relay auto tuning. Introduction to state
databases. Classes, objects, inheritance, space methods. State space models, state
polymorphism, encapsulation, static and dynamic transformations, solution of the state
binding, message sending, relational mathematics, [Link] and observability. Design
normal forms. Handling of non-normalized structures. using state feedback. LQR design, pole placement, use
Extensions and generalizations of the relational model of [Link] to robotics. Transducers,
and the corresponding mathematics, modeling. Object actuators and robot control.
management systems. Concepts and problems.
Persistent programming. Methods and systems. Object CS 629 Real Time Systems
database management systems. Modeling, meta The principles of real-time and embedded systems
programming, transactions, garbage collection, query inherent in many hardware platforms and applications
handling. Prototypes and user interfaces. Problems being developed for engineering and science as well as
related to temporal and spatial aspects. Existing for ubiquitous systems, including robotics and
[Link] overview of commercial as well as academic manufacturing, interactive and multimedia, immersive
systems. and omnipresent applications. Real-time and quality of
service system principles, understand real-time
Specialization Area: System Engineering operating systems and the resource management and
quality of service issues that arise, and construct
CS 627 Digital Signal Processing sample applications on representative platforms.
One- and N-dimensional signals and systems, Sampling Platforms range from handheld and mobile computers
theorem, Discrete-time Fourier transform, discrete to media and real-time server systems. Platforms may
Fourier transform, fast Fourier transform, z- also include specialized systems used in application-
transforms: stability and minimum phase specific contexts, such as autonomous robotics, smart
signals/systems, Linear filtering of signal: Time sensors, and others.
domain: Difference equations and convolution, Impulse CS 630 Parallel and Distributed SystemsWhy use
parallel and distributed systems? Why not use them?

AIR UNIVERSITY PROSPECTUS 2014-15 146

 Speedup and Amdahl's Law, Hardware architectures: technology and evolution of FPGA technology, VHDL
multiprocessors (shared memory), networks of hardware description, language and design description
workstations (distributed memory), clusters (latest at the gate and register transfer level, Sequential
variation). Software architectures: threads and shared circuit and finite state machine (FSM) design, Design of
memory, processes and message passing, distributed arithmetic circuits: adders, multipliers, dividers, digital
shared memory (DSM), distributed shared data (DSD). filters, etc. , Design for testability and Basic fault
Possible research and project topics, Parallel tolerance strategies, Advanced topics covered by
Algorithms, Concurrency and synchronization, Data student presentations
and work partitioning, Common parallelization
strategies, Granularity, Load balancing, Examples: Specialization Area: Communications
parallel search, parallel sorting, etc. Shared-Memory and Networking
Programming: Threads, Pthreads, Locks and
semaphores, Distributed-Memory Programming: CS 633 Advanced Networking
Message Passing, MPI, PVM. Other Parallel Review of basic concepts: The OSI Model, packet and
Programming Systems, Distributed shared memory, circuit switching, network topology, ISDN. The TCP/IP
Aurora: Scoped behavior and abstract data types, protocol stack: IP, ARP, TCP and UDP, DNS, ICMP,
Enterprise: Process templates Internet Addressing, Routing, IP Multicast, RSVP,
CS 631 Embedded SystemsThe fundamentals of Next Generation IP – Ipng, Wireless: Radio basics,
embedded system hardware and firmware design will Satellite Systems, WAP, current trends, Issues with
be explored. Issues such as embedded processor wireless over TCP. Congestion Control: Control vs.
selection, hardware/firmware partitioning, glue logic, Avoidance. Algorithms, Congestion in the Internet.
circuit design, circuit layout, circuit debugging, Mobile IP, Voice over IP (VoIP), VPNs, Network
development tools, firmware architecture, firmware Security. Management: Quality of Service (QoS),
design, and firmware debugging will be discussed. The network vs. distributed systems management
Intel 8051, a very popular microcontroller, will be Protocols, web-based management
studied. The architecture and instruction set of the
microcontroller will be discussed, and a wirewrapped CS 634 Network Security
microcontroller board will be built and debugged by Introduction tocryptology and simple cryptosystems;
each student. The course will culminate with a Conventional encryption techniques; Stream and block
significant final project which will extend the base ciphers; DES; More on Block Ciphers; The Advanced
microcontroller board completed earlier in the course. Encryption Standard. Confidentiality & Message
Learning may be supplemented with periodic guest authentication: Hash functions; Number theory and
lectures by embedded systems engineers from industry. algorithm complexity; Public key Encryption. RSA and
Depending on the interests of the students, other topics Discrete Logarithms; Elliptic curves; Digital
may be covered. signatures. Key management schemes; Identification
CS 632 ASIC DesignReview of integrated circuit schemes; Dial-up security. E-mail security, PGP, S-

147 PROSPECTUS 2014-15 AIR UNIVERSITY

MIME; Kerberos and directory authentication. networks. This course is intended for graduate students
Emerging Internet security standards; SET; SSL and who have some background on computer networks.
IPsec; VPNs; Firewalls; Viruses; Miscellaneous topics.
CS 642 Network Performance Evaluation
CS 635 Topics in Computer Networking This is an advanced course in networks and protocols.
Overview of packet switching networks and devices, Analytical, simulation and experimental methods
Fundamentals of Internet Protocol (IP) networking, should be used to evaluate and design networks and
Route lookup algorithms, Router architecture and protocols. Investigate network management tools and
performance, Detailed operation of Internet routing techniques.
protocols such as Open Shortest Path First (OSPF) and
Border Gateway Protocol (BGP). Integrated and CS 643 Network Management
differentiated network service models, Traffic The course objectives are to develop in the students, a
Engineering (TE) concepts and mechanisms including deeper understanding of network design, management,
label assignment, label distribution, and constraint- and associated technologies. Network Design and
based routing algorithms, Multi-protocol label Management, Network Security, Enterprise Network,
switching and its generalization, Quality of service N e t w o r k M a n a g e m e n t , Te l e c o m m u n i c a t i o n s
mechanisms for multimedia and real-time Management Network (TMN), Network Management
communications, TE-based routing and signaling Protocols (SNMP, CMIP), Broadband Network
protocols, Fundamentals of per-flow and aggregate Management, ATM Network Management, Network
scheduling algorithms. Application-level and network- Management Tools and Applications
level signaling protocols for data, voice, and video
communications, Resource signaling and resource CS 636 Broadband and Satellite
reservation protocols, Worst-case analysis for Communications
multimedia networking Basic Telephone Fundamentals, High Speed Modems,
Digital Modulation Techniques, Orthogonal Signals,
CS 638 Wireless Networks Networking, Communications, RF & Microwave
This course covers fundamental techniques in design Communications, Communications using the Power
and operation of first, second, and third generation line Carrier PLC, Communications using the Phone
wireless networks: cellular systems, medium access line, HomePNA, RF & Microwave Communications,
techniques, radio propagation models, error control Satellite Communications
techniques, handoff, power control, common air
protocols (AMPS, IS-95, IS-136, GSM, GPRS, EDGE, CS 671 Information Security
WCDMA, cdma2000, etc), radio resource and network Information Security Attacks & Vulnerabilities,
management. As an example for the third generation Anatomy of Attack, Awareness and Management
air interfaces, WCDMA is discussed in detail since it is Commitment to Security, Security Policy, Information
expected to have a large impact on future wireless Security Network Architecture Design Rules, Rules for

AIR UNIVERSITY PROSPECTUS 2014-15 148

 Selecting Security Hardware & Software, Physical management.
Security Rules, Network Hardware Security, Operating CS 639 Network ProgrammingC / Unix TCP & UDP
System Security Rules, PC Operating Security Rules, socket programming; routing & raw sockets; RPC;
Internet Security Rules, Application Security Rules, shared memory. Assignments and programming
Software Validation and Verification Rules, Data projects will focus the course on network programming
Encryption Rules, Configuration Management Rules, in the context of network protocol development and
Network Monitoring Rules, Maintenance and i m p l e m e n t a t i o n ( e . g . , T C P, I C M P, r o u t i n g ,
Troubleshooting Security Rules, Emergency Rules multicasting, ARP, etc.), and distributed services and
Attacks, An introduction to confidentiality, integrity, 'system-level' applications (e.g., client-server and peer-
availability; authentication technologies and models, to-peer applications, distributed file systems, name
Controls and protection models, Security kernels, services, etc.).
Secure programming, Information Auditing, Intrusion
detection and response, Operational security issues, CS 625 Cryptography
Physical security issues, Personnel security, Policy The course consists of three parts: mathematical
formation and enforcement, Access controls, background, cryptography, and network security. The
Information flow, Legal, privacy and social issues, first part (mathematical background) introduces the
Identification and authentication in local and principle of number theory and some results from
distributed systems; classification and trust modelling, probability theory, including Primes, random numbers,
Risks and vulnerabilities, Risk assessment, Database modular arithmetic and discrete logarithms. The
security, Encryption, Host-based and network-based second part (cryptography) covers cryptographic
security issues, Areas of particular focus include secure algorithms and design principles, including
network design, implementation and transition issues, conventional and symmetric encryption (DES, IDEA,
and techniques for responding to security breaches. Blowfish, Rijndael, RC-4, RC-5), public key or
CS 637 Mobile and Pervasive ComputingThis course asymmetric encryption (RSA, Diffie-Hellman), key
introduces the concepts in the area of mobile computing, management, hash functions (MD5, SHA-1, RIPEMD-
to provide a computer systems perspective on the 160, HMAC), digital signatures, and certificates. The
converging areas of wireless networking, embedded third part (network security) deals with practical
systems, and software. It focuses on pervasive applications that have been implemented and are in use
computing, vision, mobile device architectures, to provide network security, including authentication
operating systems, applications and platforms, mobile protocols (X.509, Kerberos), electronic mail security
application design and development. Moreover, it (S/MIME, PGP), web security and protocols for secure
emphasizes on wireless networking technologies, electronic commerce (IPSec, SSL, TLS, SET).
pervasive naming and discovery, location detection and
tracking, pervasive data access, context awareness,
security in mobile and pervasive systems, human
interaction in mobile and pervasive systems and energy

149 PROSPECTUS 2014-15 AIR UNIVERSITY

 Specialization Area: Distributed extension, dynamic process creation, one-sided
Computing communication, parallel I/O, Variants based on new low
level protocols (MVAPICH), evaluation and tuning of
CS 647 Distributed Computing system and software performance, Linux for clusters,
Why use parallel and distributed systems? Why not use cluster monitoring, Performance evaluation tools,
them? Speedup and Amdahl's Law, Hardware HINT, netperf, netpipe, ttcp, Iperf, Configuring and
architectures: multiprocessors (shared memory), Tuning Clusters: This will involve evaluation of the
networks of workstations (distributed memory), performance of various nodes and networking hardware
clusters (latest variation). Software architectures: such as Gigabit Ethernet, Myrinet, Infiniband,
threads and shared memory, processes and message Quadrics etc.
passing, distributed shared memory (DSM), distributed
shared data (DSD). Possible research and project topics, CS 648 Cloud Computing
Parallel Algorithms, Concurrency and synchronization, Topics to be covered include: Overview of Distributed
Data and work partitioning, Common parallelization Computing, Introduction to Cloud Computing,
strategies, Granularity, Load balancing, Examples: Infrastructure as a Service (IaaS), Platform as a Service
parallel search, parallel sorting, etc. Shared-Memory (PaaS), Software as a Service (SaaS), Cloud issues and
Programming: Threads, Pthreads, Locks and challenges
semaphores, Distributed-Memory Programming:
Message Passing, MPI, PVM. Other Parallel CS 649 Autonomous Computing
Programming Systems, Distributed shared memory, The course will cover material related to, but not limited
Aurora: Scoped behavior and abstract data types, to the following wide spectrum of topics:Autonomic
Enterprise: Process templates attributes and the grand challenge, Complexity in
autonomic computing and its forms, Architecture, open
CS 646 Cluster Computing standards, implementation considerations, enabling
Topics to be covered include: A general introduction to technology and development tools, Machine learning
the concept of cluster based distributed computing, and multiagent systems in the development of
Hardware technologies for cluster computing, including autonomic computing, Biologically inspired computing
a survey of the possible node hardware and high-speed (evolutionary algorithms, cellular automata, DNA
networking hardware and software, Software for computation, amorphous computing, etc), Algorithms
cluster computing, Software and software architectures and optimization (graph algorithms, combinatorial
for cluster computing, including both shared memory scientific computing, Monte-Carlo simulations, linear,
(OpenMP) and message-passing (MPI/PVM) models, nonlinear and discrete optimization, and others), and
Programming, features and performance of standard their use in autonomic computing, Cloud computing
MPI variants (LAM/MPICH/vendor specific MPI fundamentals, technologies and applications, The Role
versions), Derived data types, communicators, MPI-2 of grid computing technologies in cloud computing,
Scientific clouds and HPC on competitive cloud

AIR UNIVERSITY PROSPECTUS 2014-15 150

 resources, State-of-the-art of present technology in instruction scheduling, and register allocation.
autonomic computing, Ongoing widely known projects - Advanced topics include memory hierarchy
strengths and limitations. management, optimization for instruction-level
parallelism, modulo scheduling, predicated and
CS 651 Grid Computing speculative execution. The class focus is processor-
Topics to be covered include a selection from: specific compilation techniques, thus familiarity with
Introduction to the Grid, Grid Architecture, Open Grid both computer architecture and compilers is
Service Architecture (OGSA), WSRF and Data Grids, recommended.
Networking Infrastructure, Protocols and Quality of
Service, Computing Platforms. Operating Systems and CS 653 Advanced Compiler Design II
Network Interfaces, The Globus Toolkit: Core systems The course should consist of one or two major projects.
and related tools such as the Message Passing Interface Theoretical study should depend on the level of the first
communication library, the Remote I/O (RIO) library, course Design I and the student needs.
and the Nimrod parameter study library, Security,
Accounting and Assurance, Grid Monitoring, CS 654 Programming Language
Instrumentation and Measurement, Performance Semantics
Analysis and Visualization, Grid Scheduling, Resource Introduction,transition systems,the idea of structural
Management, Resource Brokers, Resource operational semantics, Transition semantics of a simple
Reservations, Workflow Management, Grid Portal imperative language, Language design options, Types,
Development, Application Case Studies Introduction to formal type systems, Typing for the
simple imperative language, Statements of desirable
Specialization Area: Programming properties, Induction; Review of mathematical
Language Design & Translators induction, Abstract syntax trees and structural
induction, Rule-based inductive definitions and proofs,
CS 672 Theory of Programming Proofs of type safety properties, Functions; Call-by-
Languages name and call-by-value function application, semantics
Introduction and History, Syntax and Semantics, and typing; Local recursive definition, Data; Semantics
Control Structures, Types, Logic Programming, and typing for products, sums, records, references.
Functional Programming and Lambda calculus, Subtyping; Record subtyping and simple object
Concurrent and Distributed Programming, Dataflow, encoding, Semantic equivalence; Semantic equivalence
Object-oriented Programming. of phrases in a simple imperative language, including
the congruence property, Examples of equivalence and
CS 652 Advanced Compiler Design I non-equivalence, Concurrency; Shared variable
An in-depth study of compiler backend design for high- interleaving, Semantics for simple mutexes; a
performance architectures. Topics include control-flow serializability property
and data-flow analysis, classical optimization,

151 PROSPECTUS 2014-15 AIR UNIVERSITY

CS 655 Functional Programming preliminaries, Regular expressions/Regular languages,
This course will discuss important concepts of Finite automata (FAs), Transition graphs (TGs), NFAs,
functional programming such as recursive definitions, Kleene's theorem, Transducers (automata with output),
higher-order functions, type inference, polymorphism, Pumping lemma and non-regular language Grammars
abstract data types, modules etc. The programming and PDA: Context free grammars, Derivations,
exercises will illustrate the utility of list-processing, derivation trees and ambiguity, Simplifying CFLs ,
pattern matching, abstraction of data/control, strong Normal form grammars and parsing, Decidability,
typing, and parameterized modules (functors). The Chomsky's hierarchy of grammars Turing Machines
mathematical reasoning involved in the design of Theory: Turing machines, Post machine, Variations on
functional programs and techniques for proving TM, TM encoding, Universal Turing Machine, Context
properties about functions so defined. sensitive Grammars, Defining Computers by Tms.

CS 656 Logic Programming CS 659 Geometric Algorithms

This course deals with logic programming paradigm Geometric fundamentals, Convexity, Arrangements,
and Prolog. It will discuss the syntax and the semantics Proximity problems, Geometric searching, Partition
of Prolog, the working of a Prolog interpreter and trees and range searching, Triangulations, Random
various applications of Prolog. In particular, the use of sampling techniques, Visibility and shortest path
Prolog for database querying, parsing, meta- problems, Robustness in geometric computation, Issues
programming, and problem solving in AI will be in topological consistency; handling of degeneracies;
discussed. rounding of geometric structures; robust algorithms.

CS 657 Algorithms & Complexity CS 660 Parallel Algorithms

Analysis of the running time and space complexity of Introduction; Conceptual frameworks for parallelism,
algorithms, Bbig Oh notation, (e.g., O(n lg n), message passing, shared address space, PRAM, Cost
Correctness of an algorithm, Mathematical techniques models for parallel algorithms, Cost efficiency and
required to prove the time complexity of a scalability, Inter-model emulation. Simple examples,
program/algorithm. (e.g., limits and sums of Problem solving strategies; Embarrassing parallelism,
series.),Inductive proofs, Master Theorem, Notions of P, d i v i d e & c o n q u e r, p i p e l i n i n g , s t e p - b y - s t e p
NP, NPC, and NP-hard, Comparing the rates of growth parallelization, Amdahl's Law, Useful primitives;
of functions, Algorithmic complexity principles in the Collective communications, reduction, prefix;
design of programs, Design of divide and conquer and Algorithms in selected problem areas, for example;
dynamic programming algorithms. Sorting (bitonicmergesort, hyperquicksort). Matrix
oriented algorithms (multiplication, solving linear
CS 658 Automata and Language Theory systems). Graph algorithms (spanning trees, single
Finite State Models: Language definitions source & all-to-all shortest paths).

AIR UNIVERSITY PROSPECTUS 2014-15 152

 Specialization Area: Artificial CS 664 Text Mining
Intelligence This course will offer a comprehensive coverage of well-
known Text Mining topics including basic and advanced
CS 661 Design of Intelligent Systems methods for web information retrieval, indexing and
This course will introduce theories, and algorithms in crawling, IR models, link and click data, social search,
artificial intelligence and machine learning. The topics text classification and clustering, Booleanretrieval,
covered in this course include: Learning and index construction and compression, scoring and
adaptation, decision theory, automating reasoning, weighting, relevance feedback and query expansion,
formal inference, reasoning, knowledge representation, text classification and naive bayes, link analysis.
neural networks, expert systems, learning problems,
unsupervised learning and clustering, component CS 665 Neural Networks
analysis (PCA, ICA), genetic algorithms, fuzzy systems, This course introduces the basic models, learning
and case-Based systems. algorithms, and some applications of neural networks.
This course covers following topics: basic neuron
CS 662 Machine Learning models, McCulloch-Pitts model and the generalized
This course provides a broad introduction to machine one, distance or similarity based neuron model, radial
learning, and statistical pattern recognition. Topics basis function model, basic neural network models,
include: supervised learning, parametric/non- multilayer perceptron, distance or similarity based
parametric algorithms, support vector machines, neural networks, associative memory and self-
kernels, neural networks, unsupervised learning, organizing feature map, radial basis function based
clustering, dimensionality reduction, recommender multilayer perceptron, neural network decision trees,
systems, deep learning, best practices in machine basic learning algorithms, the delta learning rule, the
learning, bias/variance theory, innovation process in back propagation algorithm, self-organization learning,
machine learning and AI. the r4-rule, pattern recognition, function
approximation, and information visualization.
CS 663 Data Mining
This course will offer a comprehensive coverage of well- CS 666 Mathematical Reasoning
known Data Mining topics including classification, This course integrates numeracy, proportional
clustering and association rules. A number of specific reasoning, algebraic reasoning, and understanding of
algorithms and techniques under each category will be functions. An activity based approach is used to explore
discussed. Other topics include decision trees, rule numerical concepts, quantitative reasoning, graphical
system, baysian networks, clustering algorithms, displays of data, proportional relationships in real-
regression, classifier and model evaluation. world problems, problem solving with equations and
inequalities, functions, and linear and exponential
models and other mathematical models.

153 PROSPECTUS 2014-15 AIR UNIVERSITY

CS 667 Decision Support Systems analysis of particular computer programs for reasoning.
This course reviews the literature in the area of DSS Topics includes: First Order Logic and Higher Order
and explores various DSS frameworks. This course Logic, Unification algorithm, Natural Deduction, model
covers following topics: develop an understanding of the checking, computation tree logic, syntax and semantics,
process of decision making, information processing in model checking algorithm, model checker: SMV or
individuals and organizations, understand the various SPIN, Interactive Theorem Proving, Human-oriented
issues involved in the design, implementation and methods, decidable problems and automation, program
evaluation of DSS, explore various DSS architectures, verification, functional programs, case studies on
explore Data driven DSS, Model centric DSS, sorting algorithms.
Knowledge oriented DSS, visualization oriented DSS,
explore intra and inter organizational DSS with a CS 674 Knowledge based Systems
specific focus on web and distributed architectures, This course introduces students to the basic concepts in
explore areas that impact on DSS namely Data knowledge-based systems and provides practical
warehousing, OLAP, Data Mining, statistics, experience through project work. The topics covered
Optimization, Simulation, Supply Chain Intelligence, include: knowledge representation and problem
Customer Intelligence, and Visualization, apply the solving; knowledge acquisition and machine learning;
knowledge gained through the design and knowledge level modeling, expert systems lifecycles and
implementation of a prototype. expert system shells.

CS 668 Computer Vision CS 676 Natural Language Processing

This course covers overview of computer vision, related In this course you will study mathematical and
areas, and applications. Other topics include: Image computational models of language, and the application
formation and representation, imaging geometry, of these models to key problems in natural language
radiometry, digitization, cameras and projections, rigid processing. The course has a focus on machine learning
and affine transformations, filtering, convolution, methods. Topics covered include: Language modeling,
smoothing, differencing, and scale space, feature Hidden Markov models, and tagging problems,
detection, edge detection, corner detection, line and Probabilistic context-free grammars, and the parsing
curve detection, active contours, SIFT and HOG problem, Statistical approaches to machine translation,
descriptors, shape context descriptors, model fitting, Log-linear models, and their application to NLP
camera calibration, epipolar geometry, model problems, Unsupervised and semi-supervised learning
reconstruction, motion analysis, motion tracking, object in NLP.
recognition and shape representation.
CS 677 Agents
CS 669 Automated Reasoning This subject will show how software agents and agent
The course combines an exposition of theory with the oriented programming is relevant for many
applications beyond the traditional area of artificial

AIR UNIVERSITY PROSPECTUS 2014-15 154

 intelligence. This course includes topics, automated techniques are useful for searching very large spaces.
planning, search and heuristics, actions in situation Topics covered: The basics of biological evolution:
calculus, regression, linear and temporal logics on finite Darwin, DNA, The basics of GAs: selection,
traces, mobility, weak mobility and hard mobility. recombination and mutation. Choices of algorithm. The
standard test functions. Fitness and objective
CS 678 Robotics functions, Representational issues, binary, integer and
This course provides an overview of robot mechanisms, real-valued encodings; permutation-based encodings.
dynamics, and intelligent controls. Topics include Operator issues, different types of crossover and
planar and spatial kinematics, and motion planning; mutation, of selection and replacement. Inversion and
mechanism design for manipulators and mobile robots, other operators, Experimental issues, design and
multi-rigid-body dynamics, 3D graphic simulation; analysis of sets of experiments, the schema theorem and
control design, actuators, and sensors; wireless its flaws, selection takeover times; other approaches to
networking, task modeling, human-machine interface, providing a theoretical basis for studying GA issues,
and embedded software. Rival methods and genetic planning.

CS 679 Symbolic Computation CS 683 Semantic Web

This course covers following topics: Symbolic versus This coursewill discuss the Semantic Web and semantic
numeric computation. History of systems for symbolic representation and reasoning of data using ontologies.
computation, Algebraic Structures, The need for Topics covered are the following: Semantic Web Vision,
simplification. Normal forms for polynomials. Data ontology Languages: RDF, RDFS, OWL, Ontology
structures for integers and polynomials. Rational Design and Management using the Protégé editor,
functions and power series, homomorphism. Chinese Ontology Reasoning with Pellet, Ontology Querying
remainder algorithm and interpolation. The Hensel with SPARQL, Ontology Programming with the Jena
construction, Generalizations of the Euclidean API, current Applications of the Semantic Web.
algorithm for multivariate [Link]
[Link] [Link] Specialization Area: Computer
[Link]'s [Link] Architecture and Organization
[Link] techniques,Variations of
Gaussian elimination, Modular [Link] of CS 685 Parallel and Distributed
polynomial equations. Systems
Why use parallel and distributed systems? Why not use
CS 682 Genetic Algorithms them? Speedup and Amdahl's Law, Hardware
This module teaches you about genetic algorithms architectures: multiprocessors (shared memory),
(GAs), genetic programming (GP) and other such networks of workstations (distributed memory),
evolutionary computing (EC) ideas based on the idea of clusters (latest variation). Software architectures:
solving problems through simulated evolution. These threads and shared memory, processes and message

155 PROSPECTUS 2014-15 AIR UNIVERSITY

passing, distributed shared memory (DSM), distributed design principles, prototyping techniques, software
shared data (DSD). Possible research and project topics, evaluation methods, heuristics and related application
Parallel Algorithms, Concurrency and synchronization, areas of interactive computer systems.
Data and work partitioning, Common parallelization
strategies, Granularity, Load balancing, Examples: CS 687 Intelligent User Interfaces
parallel search, parallel sorting, etc. Shared-Memory The increasing complexity of software and the
Programming: Threads, Pthreads, Locks and proliferation of information makes intelligent user
semaphores, Distributed-Memory Programming: interfaces increasingly important. The promise of
Message Passing, MPI, PVM. Other Parallel interfaces that are knowledgeable, senstitive to our
Programming Systems, Distributed shared memory, needs, agile, and genuinely useful has motivated
Aurora: Scoped behavior and abstract data types, research across the world to advance the state of the art
Enterprise: Process templates. Research Topics. and practice in user interfaces that exhibit intelligence.
The text covers the topic well.
CS 684 Embedded Systems
The fundamentals of embedded system hardware and CS 688 Rich Internet Applications
firmware design will be explored. Issues such as This course covers the concept and technology evolution
embedded processor selection, hardware/firmware regarding the internet applications and the use of
partitioning, glue logic, circuit design, circuit layout, interface tools. Mainly, the course can focus on any one
circuit debugging, development tools, firmware of the technologies of modern day, for example,
architecture, firmware design, and firmware debugging macromedia's FLASH. However, the course will use the
will be discussed. The Intel 8051, a very popular concepts of data structures, object oriented
microcontroller, will be studied. The architecture and programming, programming languages and the
instruction set of the microcontroller will be discussed, software design and engineering to develop projects of
and a wirewrapped microcontroller board will be built medium to large magnitude
and debugged by each student. The course will
culminate with a significant final project which will CS 689 Graphical User Interfaces
extend the base microcontroller board completed earlier The course will unfold by examining specific aspects of
in the course. Learning may be supplemented with interface design, prototyping, and evaluation.
periodic guest lectures by embedded systems engineers Theoretical lectures will be augmented by case studies
from industry. Depending on the interests of the and discussions of interface successes and failures. You
students, other topics may be covered. will apply the theoretical knowledge learnt to a series of
examples that brings you through different parts of the
CS 686 Human Computer Interaction design and evaluation cycle.
The fundamental concepts of human computer
interaction which include user centered design CS 691 Interactive Systems Development
approaches, usability engineering methods, interface The perceptual, cognitive and physical limitations of

AIR UNIVERSITY PROSPECTUS 2014-15 156

 users. The role of interface design in the software [Link] cyclic buffer (producer(s) and
engineering lifecycle. Identifying user tasks from consumer(s)), multiple readers and writers. Problems
informal requirements. Using text, forms, menus and arising in semaphore programming. Concurrency
graphics in interactive systems. Evaluation of the support in programming languages. Shared data:
utility and usability of human computer interfaces. monitors, pthreads, Java. No shared data: occam, Ada
active objects, Erlang, Kilim, tuple spaces. Lock-free
CS 690 Multimedia Systems programming. Concurrent composite operations.
Development Composite operations in main memory and persistent
This course is designed to provide students with memory. Dynamic resources allocation and deadlock.
advanced information, necessary skills and expertise to Dining philosophers program. Deadlock detection and
develop instructional systems with the help of avoidance. Transactions. ACID properties. Concurrency
technology. The course underlines major steps, control and crash recovery. Definition of conflicting
processes and techniques in analysis, design, operations. Serialization. Cascading aborts. Database
development and evaluation of instructional systems. concurrency control. Pessimistic concurrency control:
In addition to learning the process and principles of two-phase locking, timestamp ordering. Optimistic
instructional design, this course also focuses on helping concurrency control. Database recovery and summary
students learn how to work best as a team member of “Concurrency”. Write ahead log, undo/redo. Points to
within the design process. It is aimed to provide take forward.
students with experiences related to instructional
design and team work via practice within the context of CS 693 Real Time Systems
projects. Lastly, this course aims to foster students' The principles of real-time and embedded systems
development as a resourceful, independent learner and inherent in many hardware platforms and applications
designer. being developed for engineering and science as well as
for ubiquitous systems, including robotics and
Specialization Area: Operating Systems manufacturing, interactive and multimedia, immersive
and omnipresent applications. Real-time and quality of
CS 692 Concurrent and Distributed service system principles, understand real-time
Systems operating systems and the resource management and
Introduction to thread models. Overview of properties quality of service issues that arise, and construct
of distributed and concurrent [Link] system sample applications on representative platforms.
[Link] of concurrency in systems. Recap Platforms range from handheld and mobile computers
of scheduling and pre-emption. Thread models. to media and real-time server systems. Platforms may
Classical concurrency [Link] data and critical also include specialized systems used in application-
[Link] exclusion and condition specific contexts, such as autonomous robotics, smart
[Link] of sensors, and others.
concurrency [Link] problems using

157 PROSPECTUS 2014-15 AIR UNIVERSITY

 Specialization Area: Web Engineering Interactivity, Audio on the Web, Video on the Web,
AJAX, Web Security
CS 694 Semantic Webs
Intro to Semantic Web, Building a semantic web App to Specialization Area: Graphics and
gain exposure to standards and Jena, Relational, XML, Visual Computing
and Semantic (RDF, RDFS and OWL) approaches,
Ontologies and Knowledge Representation, SUMO, CS 697 Advanced Computer Graphics
OWL and Protégé, Description Logic, Expressiveness Topics to be covered include, but are not limited to,
and Decidability, SIGMA and RIF, Algorithms for Introduction to Basic Ray Tracing and BRDFs, Global
Search, Recommendation, Grouping & Classification, Illumination and Monte Carlo Rendering, Recent
Rules, Querying, and Reasoning, SPARQL and Pellet Developments in Fast Offline Rendering, Image-Based
and Real-Time Rendering, Data-Driven Methods,
CS 695 Web Services Signal-processing and low-dimensional and data-
O v e r v i e w o f We b S e r v i c e s , S e r v i c e - O r i e n t e d sparse methods, Imaging and Computational
Architecture: HTTP and XML, SOAP, WSDL, UDDI, Photography, Basic Geometric Concepts, Meshes and
REST, Web Services for Java EE, Hosting Web Services, Subdivision Surfaces, Finite Elements and Numerical
Invoking Web Services, Web Services for Java EE Integration for Animation, Fluid Simulation and
(WS4JEE), JAX-WS and JAXB, SAAJ and JAXP, Reduced Order Models, Inverse Kinematics, Rigid Body
Portable Web-Services Metadata, Service Registries: Dynamics.
JAXR, Interfaces vs. Platforms, RPC-style Web
Services, RESTful Web Services, Implementing XML CS 698 Image Processing
Standards, Internationalization, Security and This course introduces the basic theories and
Authentication, Transactions, Interface Versioning methodologies of digital image processing. Topics
include intensity transformations for image
CS 696 Programming for the WWW enhancement, two-dimensional discrete Fourier
Layers of the Internet, World Wide Web, DNS, URL, transform, spatial and frequency domain linear image
Overview of Web Applications, Guide to the Server, filtering, nonlinear image filtering, binary image
HTML Basics, Tags, Formatting Text, Creating Links, processing, edge detection, image segmentation, and
Adding Images, Lists, Tables, Frames, Forms, digital video processing [Link] course makes
Cascading Style Sheets, JavaScript Language, extensive use of MATLAB as an analysis, design, and
Document Object Model, Dynamic HTML, PHP, visualization tool.
Processing Forms, Maintaining State in Web
Applications, Cookies, Data Tier, Back-end Database CS 699 Multimedia and Hypermedia
Support, SQL Primer, Database Interface in PHP, System
Regular Expressions and Matching, Multimedia and Then topics of this course includes a model for the
Design and Development of Multimedia and

AIR UNIVERSITY PROSPECTUS 2014-15 158

 Hypermedia projects, Using Macromedia Director, CS 703 Computer Animations
Graphic design and Usability, Usability assessment of Main techniques covered in this course include: Key-
MM/HM applications, Research Topics in Hypermedia, framing, story-boarding, Kinematics, physically based
How to manage MM/HM projects effectively, Content- dynamics modeling, Motion capture, and Scene
based Information Retrieval, Querying, searching, composition, lighting, and sound track generation.
Interaction and evaluation, Color, texture, shape Advanced topics such as dynamic simulation of flexible
features, Image indexing, Dimensionality reduction and rigid objects, facial animation, and behavioral/AI
based animation are also studied.
CS 700 Virtual Reality
This course includes following topics: introduction to CS 704 Genetic Algorithms
virtual reality, Input Devices, Output Devices, This course includes, Crossover/Mutation, Fitness
Computing Architectures for Virtual Reality, Modeling Landscapes, No Free Lunch, Prisoner's Dilemma,
Programming: WorldToolKit, Java3D, Programming: Sorting Networks, Schemas, Building Blocks, Genetic
GHOST, PeopleShop, Human Factors in Virtual Programming, Cellular Automata, Intro to Neural
Reality, Traditional Virtual Reality Applications, Networks, Evolving Neural Networks, Evolving a
Emerging Virtual Reality Applications, Student Learning Rule, The Baldwin Effect, Theoretical
Presentations Foundations, When to use a GA; Encodings, Inversion;
Hot Spots, The Messy GA; Selection Methods, Watson's
CS 701 Visualization SEAM Algorithm, MBOA: Multi-objective Bayesian
The Course topics include: cognitive load theory, Optimization Algorithm
communication design, identification of chart junk,
graphical integrity, optimization of data-ink in
multivariate data sets, info-graphics, vector graphics
and interactive data visualization using JavaScript.

CS 702 Geographical Information

Systems
Topics include data structures and basic functions,
methods of data capture and sources of data, and the
nature and characteristics of spatial data and objects.
Upon completion, students should be able to identify
GIS hardware components, typical operations,
products/applications, and differences between
database models and between raster and vector
systems.

159 PROSPECTUS 2014-15 AIR UNIVERSITY