Skip to main content

Research Repository

Advanced Search

A framework for implementing formally verified resource-bounded smart space systems

Uddin, Ijaz; Rakib, Abdur; Haque, Hafiz Mahfooz Ul


Ijaz Uddin

Profile Image

Rakib Abdur
Senior Lecturer in Mobile Security

Hafiz Mahfooz Ul Haque


© 2017, Springer Science+Business Media New York. Context-aware computing is a mobile computing paradigm that helps designing and implementing next generation smart applications, where personalized devices interact with users in smart environments. Development of such applications is inherently complex due to these applications adapt to changing contextual information and they often run on resource-bounded devices. Most of the existing context-aware development frameworks are centralized, adopt client–server architecture, and do not consider resource limitations of context-aware devices. This paper presents a systematic framework to modelling and implementation of resource-bounded multi-agent context-aware systems on Android devices. The proposed framework makes use of semantic technologies for context modelling and reasoning about resource-bounded context-aware agents, Android powered smartphones as development platform, a suitable communication model and declarative rule-based programming as a preferred development language.


Uddin, I., Rakib, A., & Haque, H. M. U. (2017). A framework for implementing formally verified resource-bounded smart space systems. Mobile Networks and Applications, 22(2), 289-304.

Journal Article Type Article
Acceptance Date Dec 10, 2016
Online Publication Date Jan 26, 2017
Publication Date Apr 1, 2017
Deposit Date Jun 16, 2017
Publicly Available Date Jun 16, 2017
Journal Mobile Networks and Applications
Print ISSN 1383-469X
Electronic ISSN 1572-8153
Publisher Springer Verlag
Peer Reviewed Peer Reviewed
Volume 22
Issue 2
Pages 289-304
Keywords context-awareness, resource-bounded agents, rule-based reasoning, non-monotonic reasoning, Android SDK
Public URL
Publisher URL
Related Public URLs


You might also like

Downloadable Citations