Skip to main content

Research Repository

Advanced Search

All Outputs (2)

Improving the efficiency of Market Information Analysis Systems using GIS, Polygon and Spatial Databases (2013)
Journal Article
Izadi, O., & Rakib, A. (2013). Improving the efficiency of Market Information Analysis Systems using GIS, Polygon and Spatial Databases. https://doi.org/10.1109/ICRIIS.2013.6716764

An organization's future developments are influenced by its managements' decisions. This can only happen by strengthening research and development strategies. Market monitoring and analyzing systems are designed to provide an organized flow of inform... Read More about Improving the efficiency of Market Information Analysis Systems using GIS, Polygon and Spatial Databases.

A formal approach to modelling and verifying resource-bounded context-aware agents (2013)
Journal Article
Rakib, A., & Faruqui, R. U. (2013). A formal approach to modelling and verifying resource-bounded context-aware agents. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 109 LNICST, 86-96. https://doi.org/10.1007/978-3-642-36642-0_9

There has been a move of context-aware systems into safety-critical domains including healthcare, emergency scenarios, and disaster recovery. These systems are often distributed and deployed on resource-bounded devices. Therefore, developing formal t... Read More about A formal approach to modelling and verifying resource-bounded context-aware agents.