Zobrazeno 1 - 10
of 112
pro vyhledávání: '"Khan, Muhammad Taimoor"'
Autor:
Waseem, Muhammad, Mikkonen, Tommi, Ahmad, Aakash, Khan, Muhammad Taimoor, Haghparast, Majid, Stirbu, Vlad, Liang, Peng
Quantum Software (QSW) uses the principles of quantum mechanics, specifically programming quantum bits (qubits) that manipulate quantum gates, to implement quantum computing systems. QSW has become a specialized field of software development, requiri
Externí odkaz:
http://arxiv.org/abs/2410.19770
Lifelong machine learning or continual learning models attempt to learn incrementally by accumulating knowledge across a sequence of tasks. Therefore, these models learn better and faster. They are used in various intelligent systems that have to int
Externí odkaz:
http://arxiv.org/abs/2112.09175
Publikováno v:
In International Journal of Approximate Reasoning March 2024 166
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). W
Externí odkaz:
http://arxiv.org/abs/1601.04263
Publikováno v:
In Information Sciences August 2021 569:650-668
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 technica
Externí odkaz:
http://arxiv.org/abs/1412.3588
We present our ongoing work and initial results towards the (behavioral) correctness analysis of the cognitive middleware AWDRAT. Since, the (provable) behavioral correctness of a software system is a fundamental pre-requisite of the system's securit
Externí odkaz:
http://arxiv.org/abs/1412.2328
Autor:
Aurangzeb, Sana, Aleem, Muhammad, Khan, Muhammad Taimoor, Anwar, Haris, Siddique, Muhammad Shaoor
Publikováno v:
Cluster Computing; Jun2024, Vol. 27 Issue 3, p3363-3378, 16p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) programs. The main goal of our work is to find behavioral errors in such p
Externí odkaz:
http://arxiv.org/abs/1207.2300