Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security
This paper presents our research approach which uses and integrates the terminologies and inference mechanism towards the development of functionally correct systems for smart spaces, considering the recent advances in the area of ontology-based modelling, agent-based technology, formal verification using model checking, and Android application development techniques. The overall goal is to arrive at a point where it is possible to achieve computer-supported knowledge exchange between
technical/non-technical stakeholders in a distributed fashion for informed decision-making, for example, in eHealth systems.
Abdur, R. (2019). Smart space system interoperability. In Proceedings of the 3rd International Workshop on (Meta)Modelling for Healthcare Systems (16-23)
Conference Name | International Workshop on Meta-modelling for Healthcare Systems |
---|---|
Conference Location | Western Norway University of Applied Sciences, Bergen, Norway |
Start Date | Jun 13, 2018 |
End Date | Jun 15, 2018 |
Acceptance Date | Oct 27, 2018 |
Online Publication Date | Mar 22, 2019 |
Publication Date | Mar 22, 2019 |
Deposit Date | Nov 20, 2018 |
Publicly Available Date | Apr 23, 2019 |
Publisher | CEUR Workshop Proceedings |
Volume | 2336 |
Pages | 16-23 |
Series ISSN | 1613-0073 |
Book Title | Proceedings of the 3rd International Workshop on (Meta)Modelling for Healthcare Systems |
Keywords | ontology, interoperability, resource-bounded agents, rule-based reasoning |
Public URL | https://uwe-repository.worktribe.com/output/858306 |
Publisher URL | http://ceur-ws.org/Vol-2336/ |
MMHS2018_paper_1.pdf
(511 Kb)
PDF
Analysing the predictivity of features to characterise the search space
(2022)
Conference Proceeding
Memory-constrained context-aware reasoning
(2022)
Conference Proceeding
A probabilistic logic for resource-bounded multi-agent systems
(2019)
Presentation / Conference
Probabilistic resource-bounded alternating-time temporal logic
(2019)
Presentation / Conference
Model checking ontology-driven reasoning agents using strategy and abstraction
(2019)
Journal Article
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search