Skip to main content

Research Repository

Advanced Search

Rakib Abdur

Profile image of Rakib Abdur

Rakib Abdur

Senior Lecturer in Mobile Security


Verifying resource requirements for distributed rule-based systems (2008)
Conference Proceeding
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008). Verifying resource requirements for distributed rule-based systems. In N. Bassiliades, G. Governatori, & A. Paschke (Eds.), Rule Representation, Interchange and Reasoning on the Web (31-38). https://doi.org/10.1007/978-3-540-88808-6_6

Rule-based systems are rapidly becoming an important component of ‘mainstream’ computing technologies, for example in business process modelling, the semantic web, sensor networks etc. However, while rules provide a flexible way of implementing such... Read More about Verifying resource requirements for distributed rule-based systems.

Verifying time, memory and communication bounds in systems of reasoning agents (2008)
Presentation / Conference
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008, May). Verifying time, memory and communication bounds in systems of reasoning agents. Paper presented at Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory a... Read More about Verifying time, memory and communication bounds in systems of reasoning agents.

Verification of resource requirements of distributed reasoning agents (2008)
Presentation / Conference
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008, March). Verification of resource requirements of distributed reasoning agents. Paper presented at Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), Budapest, Hungary

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory a... Read More about Verification of resource requirements of distributed reasoning agents.