Muhammad Taimoor Khan

Learn More
The purpose of this work is two fold: on one hand we want to formalize the behavior of critical components of the self generating and adapting cognitive middleware AWDRAT such that the formalism not only helps to understand the semantics and technical details of the middleware but also opens an opportunity to extend the middleware to support other complex(More)
In this paper, we give a definition of the formal (denotational) semantics of MiniMaple (a substantial subset of a widely used computer algebra system Maple with slight modifications) and its specification language. Defining the formal semantics of MiniMaple and its specification language is rather a challenging task as these support non-standard types of(More)
Lifelong machine learning (LML) models learn with experience maintaining a knowledge-base, without user intervention. Unlike traditional single-domain models they can easily scale up to explore big data. The existing LML models have high data dependency, consume more resources, and do not support streaming data. This paper proposes online LML model (OAMC)(More)
Context-awareness is an important issue of pervasive computing applications and ultimately environment. These applications enhance the functionality of pervasive computing services, applications and systems. In this paper we have proposed a novel design of middleware for global pervasive environment. The focus is made on quality of service, reliability,(More)
Conventional approaches for ensuring the security of application software at run-time, through monitoring, either produce (high rates of) false alarms (e.g. intrusion detection systems) or limit application performance (e.g. run-time verification). We present a run-time security monitor that detects both known and unknown cyber attacks by checking that the(More)
We present our ongoing work and initial results towards the (behavioral) correctness analysis of the cognitive middleware AWDRAT [6]. Since, the (provable) behavioral correctness of a software system is a fundamental prerequisite of the system's security. Therefore, the goal of the work is to first formalize the behavioral semantics of the middleware as a(More)
Topic models are extensively used for text analysis to extract prominent concepts as topics in a large collection of documents about a subject domain. They are extended with different approaches to suit various application areas. Automatic knowledge-based topic models are recently introduced to specifically meet the processing needs of large-scale data(More)