PhD: Recent submissions

  • Formal Semantic Model for Web Applications Security- An Intelligent Approach for Detecting and Classifying Cyber Attacks 
    Razzaque, Abdul (SEECS, National University of Science and Technology, Islamabad., 2014)
  • IMPROVING ANOMALY DETECTION PERFORMANCE USING INFORMATION THEORETIC AND MACHINE LEARNING TOOLS 
    Ashfaq, Ayesha Binte (SEECS, National University of Science and Technology, Islamabad., 2014)
    Anomaly detection systems (ADSs) were proposed more than two decades ago and since then considerable research efforts have been vested in designing and evaluating these systems. However, accuracy in terms of detection ...
  • SPARQL-to-HiveQL Translation 
    Karim, Naila (SEECS, National University of Science and Technology, Islamabad., 2012)
    Resource Description Framework (RDF) is a W3C Recommendation for knowledge representation on semantic web. Growing size of RDF anno- tated data demands scalable semantic stores. Hadoop based distributed and parallel ...
  • Mobile Agent Oriented Ontology Based Policies for Honey Bee Teamwork Architecture 
    Sadik, Sarmad (SEEC, National University of Science & Technology, 2010)
    With exponential growth in applications complexity, software agents’ domain is making a remarkable progress. Complex and distributed applications need a group of software agents to perform the intended tasks, instead of ...
  • Formal Dependability Analysis using Higher-order-logic Theorem Proving 
    Ahmad, Waqar (SEEC, National University of Science & Technology, 2017)
    Dependability is an umbrella concept that subsumes many key properties about a system, including reliability, maintainability, safety, availability, con- dentiality, and integrity. Various dependability modeling techniques ...
  • Mobile Agent Oriented Ontology Based Policies for Honey-Bee Teamwork Architecture 
    Sarmad Sadik (SEECS, National University of Sciences and Technology, Islamabad, 2010)
    With exponential growth in applications complexity, software agents’ domain is making a remarkable progress. Complex and distributed applications need a group of software agents to perform the intended tasks, instead of ...
  • Learning Technologies for Disabled 
    Shoaib, Lozina (SEECS, National University of Sciences and Technology, Islamabad, 2018)
    The hearing impairment is a disability that causes a huge communication gap between hearing impaired handicaps and non-hearing impaired people. A number of daily life complications are faced by profound hearing impaired ...
  • Reliable Data Delivery in Wireless Sensor and Ad Hoc Networks 
    Adnan Iqbal (SEECS, National University of Sciences and Technology, Islamabad, 2012)
    Reliable data delivery is an important feature of mission critical wireless sensing applications. Achieving high degree of reliability is a challenging task due to scarcity of resources in tiny sensor devices in general ...
  • Channel Band Adaptation in Wireless Networks 
    Hussain, Abid (SEECS, National University of Sciences and Technology, Islamabad, 2016)
    During the last fifteen years, 802.11 Wireless Local Area Networks (WLANs) have emerged as one of the most accepted method of computer networking. Majority of current WLANs such as 802.11 b/g/n operate in 2.4 GHz unlicensed ...
  • Formal Dependability Analysis using Higher-order-logic Theorem Proving 
    Waqar Ahmad (National University of Sciences and Technology, 2017)
    Dependability is an umbrella concept that subsumes many key properties about a system, including reliability, maintainability, safety, availability, con- dentiality, and integrity. Various dependability modeling techniques ...

Search DSpace


Advanced Search

Browse

My Account