Segui
Khalid Sultan
Titolo
Citata da
Citata da
Anno
Model checking temporal knowledge and commitments in multi-agent systems using reduction
F Al-Saqqar, J Bentahar, K Sultan, W Wan, EK Asl
Simulation Modelling Practice and Theory 51, 45-68, 2015
442015
Catalog of metrics for assessing security risks of software throughout the software development life cycle
K Sultan, A En-Nouaary, A Hamou-Lhadj
2008 International Conference on Information Security and Assurance (ISA …, 2008
422008
On the interaction between knowledge and social commitments in multi-agent systems
F Al-Saqqar, J Bentahar, K Sultan, M El Menshawy
Applied intelligence 41 (1), 235-259, 2014
312014
Decision making under subjective uncertainty in argumentation-based agent negotiation
O Marey, J Bentahar, E Khosrowshahi-Asl, K Sultan, R Dssouli
Ambient Intelligence and Humanized Computing, 1-17, 2015
292015
Model checking probabilistic social commitments for intelligent agent communication
K Sultan, J Bentahar, M El-Menshawy
Applied Soft Computing 22, 397-409, 2014
232014
Modeling and verifying probabilistic multi-agent systems using knowledge and social commitments
K Sultan, J Bentahar, W Wan, F Al-Saqqar
Expert Systems with Applications 41 (14), 6291-6304, 2014
222014
CrashSafe: a formal model for proving crash‐safety of Android applications
W Khan, H Ullah, A Ahmad, K Sultan, AJ Alzahrani, SD Khan, M Alhumaid, ...
Human-centric Computing and Information Sciences 8 (1), 21, 2018
202018
On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems
F Al-Saqqar, J Bentahar, K Sultan
Expert Systems with applications 43, 223-236, 2016
192016
Web accessibility automatic evaluation tools: to what extent can they be automated?
I Abu Doush, K Sultan, MA Al‑Betar, Z Almeraj, ZAA Alyasseri, ...
CCF Transactions on Pervasive Computing and Interaction 5, 288–320, 2023
102023
Model checking agent-based communities against uncertain group commitments and knowledge
K Sultan, J Bentahar, H Yahyaoui, R Mizouni
Expert Systems with Applications, 114792, 2021
102021
Reasoning about social commitments in the presence of uncertainty
K Sultan, M El Menshawy, J Bentahar
2013 IEEE 12th International Conference on Intelligent Software …, 2013
92013
Migration of Existing Software Systems to Mobile Computing Platforms: A Systematic Mapping Study
I ALSEADOON, A AHMAD, A ALKHALIL, K SULTAN
Frontiers of Computer Science 15 (152204), 2021
82021
Modernising Legacy Software as Context-sensitive and Portable Mobile-enabled Application
A Ahmad, A Alkhalil, A B. Altamimi, K Sultan, W Khan
IT Professional 23 (1), 42-50, 2021
72021
A Framework for the Evolution of Legacy Software Towards Context-aware and Portable Mobile Computing Applications
A Ahmad, I Alseadoon, A Alkhalil, K Sultan
The 17th International Conference on Software Engineering Research and Practice, 2019
72019
Evaluation of Various Machine Learning Prediction Methods for Particulate Matter (PM10) in Kuwait
A Alsaber, R Alsahli, AT Al-Sultan, I Abu Doush, K Sultan, D Alkandari, ...
International Journal of Information Technology, 2023
62023
Modeling and verifying probabilistic social commitments in multi-agent systems
KI Sultan
Concordia University, 2015
62015
Software Architecture for Mobile Cloud Computing Systems
A Alreshidi, A Ahmad, A B. Altamimi, K Sultan, R Mehmood
Future Internet 11 (11), 238, 2019
42019
Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation
M Mbarki, O Marey, J Bentahar, K Sultan
IEEE 26th International Conference on Tools with Artificial Intelligence …, 2014
42014
A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs
K Sultan, J Bentahar, O Marey
SoMet 2014, 132-147, 2014
32014
Improving Neural Network using Jaya Algorithm with Opposite Learning for Air Quality Prediction
I Abu Doush, K Sultan, A Alsaber, D Alkandari, A Abdullah
IntelliSys Conference, 567-606, 2023
22023
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20