{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T13:27:38Z","timestamp":1752672458799,"version":"3.37.3"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,1,26]],"date-time":"2017-01-26T00:00:00Z","timestamp":1485388800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Mobile Netw Appl"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s11036-017-0808-y","type":"journal-article","created":{"date-parts":[[2017,1,26]],"date-time":"2017-01-26T07:32:22Z","timestamp":1485415942000},"page":"289-304","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems"],"prefix":"10.1007","volume":"22","author":[{"given":"Ijaz","family":"Uddin","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5430-450X","authenticated-orcid":false,"given":"Abdur","family":"Rakib","sequence":"additional","affiliation":[]},{"given":"Hafiz Mahfooz Ul","family":"Haque","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,26]]},"reference":[{"key":"808_CR1","unstructured":"Motorola INC (1973) Motorola demonstrates portable telephone to be availabe for public use by 1976, April 3. Press Release from Motorola Inc."},{"issue":"1","key":"808_CR2","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/MPRV.2006.18","volume":"5","author":"R Ballagas","year":"2006","unstructured":"Ballagas R, Borchers J, Rohs M, Sheridan JG (2006) The smart phone: a ubiquitous input device. IEEE Pervasive Comput 5(1):70\u201377","journal-title":"IEEE Pervasive Comput"},{"key":"808_CR3","unstructured":"Schrittwieser S, Fr\u00fchwirt P, Kieseberg P, Leithner M, Mulazzani M, Huber M, Weippl ER (2012) Guess who\u2019s texting you? Evaluating the security of smartphone messaging applications. In: 19th annual network and distributed system security symposium"},{"key":"808_CR4","doi-asserted-by":"crossref","unstructured":"Pei C, Guo H, Yang X, Wang Y, Zhang X, Ye H (2011) Sensors in smart phone. In: Computer and computing technologies in agriculture IV. Springer, pp 491\u2013495","DOI":"10.1007\/978-3-642-18336-2_59"},{"issue":"2","key":"808_CR5","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/MPRV.2005.29","volume":"4","author":"M Raento","year":"2005","unstructured":"Raento M, Oulasvirta A, Petit R, Contextphone HT (2005) A prototyping platform for context-aware mobile applications. IEEE Pervasive Comput 4(2):51\u201359","journal-title":"IEEE Pervasive Comput"},{"issue":"1","key":"808_CR6","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1109\/SURV.2013.042313.00197","volume":"16","author":"C Perera","year":"2014","unstructured":"Perera C, Zaslavsky AB, Christen P, Georgakopoulos D (2014) Context aware computing for the internet of things: a survey. IEEE IEEE Commun Surv Tutor 16(1):414\u2013454","journal-title":"IEEE IEEE Commun Surv Tutor"},{"key":"808_CR7","doi-asserted-by":"crossref","unstructured":"Abowd GD, Dey AK, Brown PJ, Davies N, Smith M, Steggles P (1999) Towards a better understanding of context and context-awareness. In: Handheld and ubiquitous computing. Springer, pp 304\u2013307","DOI":"10.1007\/3-540-48157-5_29"},{"issue":"1","key":"808_CR8","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1145\/128756.128759","volume":"10","author":"R Want","year":"1992","unstructured":"Want R, Hopper A, Falc\u00e3o V, Gibbons J (1992) The active badge location system. ACM Trans Inf Syst 10(1):91\u2013102","journal-title":"ACM Trans Inf Syst"},{"key":"808_CR9","doi-asserted-by":"crossref","unstructured":"Salber D, Dey AK, Abowd GD (1999) The context toolkit: aiding the development of context-enabled applications. In: Proceedings of the SIGCHI conference on human factors in computing systems. ACM, New York, pp 434\u2013441","DOI":"10.1145\/302979.303126"},{"key":"808_CR10","doi-asserted-by":"crossref","unstructured":"Bardram JE, N\u00f8rskov N (2008) A context-aware patient safety system for the operating room. In: Proceedings of the 10th international conference on ubiquitous computing, pp 272\u2013281","DOI":"10.1145\/1409635.1409672"},{"key":"808_CR11","unstructured":"Wooldridge M (2009) An introduction to multiagent systems, 2nd edn. Wiley Publishing"},{"key":"808_CR12","doi-asserted-by":"crossref","unstructured":"Rakib A, Ul Haque HM (2014) A logic for context-aware non-monotonic reasoning agents. In: Human-inspired computing and its applications. Springer, pp 453\u2013471","DOI":"10.1007\/978-3-319-13647-9_41"},{"key":"808_CR13","doi-asserted-by":"crossref","unstructured":"Esposito A, Tarricone L, Zappatore M, Catarinucci L, Colella R, DiBari A (2008) A framework for context-aware home-health monitoring. In: Ubiquitous intelligence and computing. Springer, pp 119\u2013130","DOI":"10.1007\/978-3-540-69293-5_11"},{"key":"808_CR14","doi-asserted-by":"crossref","unstructured":"Ejigu D, Scuturici M, Brunie L (2007) An ontology-based approach to context modeling and reasoning in pervasive computing. In: PerCom workshops\u2019 07. Fifth annual IEEE international conference on pervasive computing and communications workshops, 2007. IEEE, pp 14\u201319","DOI":"10.1109\/PERCOMW.2007.22"},{"issue":"3","key":"808_CR15","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/s00779-010-0329-1","volume":"15","author":"B Guo","year":"2011","unstructured":"Guo B, Zhang D, Imai M (2011) Toward a cooperative programming framework for context-aware applications. Pers Ubiquit Comput 15(3):221\u2013233","journal-title":"Pers Ubiquit Comput"},{"key":"808_CR16","doi-asserted-by":"crossref","unstructured":"Rakib A, Faruqui RU (2013) A formal approach to modelling and verifying resource-bounded context-aware agents. In: Context-aware systems and applications. Springer, pp 86\u201396","DOI":"10.1007\/978-3-642-36642-0_9"},{"key":"808_CR17","doi-asserted-by":"crossref","unstructured":"Rakib A, Ul Haque H M, Faruqui RU (2014) A temporal description logic for resource-bounded rule-based context-aware agents. In: Context-aware systems and applications. Springer, pp 3\u201314","DOI":"10.1007\/978-3-319-14227-2_1"},{"issue":"1","key":"808_CR18","doi-asserted-by":"crossref","first-page":"171","DOI":"10.2298\/CSIS130209002N","volume":"11","author":"GJ Nalepa","year":"2014","unstructured":"Nalepa G J, Bobek Szymon (2014) Rule-based solution for context-aware reasoning on mobile devices. Comput Sci Inf Syst 11(1):171\u2013193","journal-title":"Comput Sci Inf Syst"},{"key":"808_CR19","first-page":"41","volume":"2013","author":"F Sartori","year":"2013","unstructured":"Sartori F, Manenti L, Grazioli L (2013) A conceptual and computational model for knowledge-based agents in android. WOA@ AI* IA 2013:41\u201346","journal-title":"WOA@ AI* IA"},{"key":"808_CR20","doi-asserted-by":"crossref","unstructured":"Ughetti M, Trucco T, Gotta D (2008) Development of agent-based, peer-to-peer mobile applications on android with jade. In: The second international conference on mobile ubiquitous computing, systems, services and technologies, 2008. UBICOMM\u201908, pp 287\u2013294. IEEE","DOI":"10.1109\/UBICOMM.2008.72"},{"key":"808_CR21","unstructured":"van Wissen B, Palmer N, Kemp R, Kielmann T, Bal H (2010) ContextDroid: an expression-based context framework for android. In: Proceedings of the international workshop on sensing for App Phones (PhoneSense) 2010, pp 1\u20135"},{"key":"808_CR22","unstructured":"Chrastina BcO (2015) Cross-platform development of smartphone application with the kivy framework. Master\u2019s thesis, Masarykova univerzita, Fakulta informatiky"},{"key":"808_CR23","doi-asserted-by":"crossref","unstructured":"Hosio S, Ferreira D, Goncalves J, van Berkel N, Luo C, Ahmed M, Flores H, Kostakos V (2016) Monetary assessment of battery life on smartphones. In: Proceedings of the 2016 CHI conference on human factors in computing systems. ACM, pp 1869\u20131880","DOI":"10.1145\/2858036.2858285"},{"issue":"2\u20133","key":"808_CR24","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"HJ ter Horst","year":"2005","unstructured":"ter Horst HJ (2005) Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. Web Semant Sci Serv Agents World Wide Web 3(2\u20133):79\u2013115","journal-title":"Web Semant Sci Serv Agents World Wide Web"},{"key":"808_CR25","doi-asserted-by":"crossref","unstructured":"Grosof BN, Horrocks I, Volz R, Decker S (2003) Description logic programs: combining logic programs with description logic. In: WWW2003. ACM Press, pp 48\u201357","DOI":"10.1145\/775152.775160"},{"key":"808_CR26","unstructured":"Horrocks I, Patel-Schneider P F, Boley H, Tabet S, Grosof B, Dean M (2004) SWRL: a semantic web rule language combining OWL and RuleML. Acknowledged W3C submission, standards proposal research report: Version 0.6"},{"key":"808_CR27","doi-asserted-by":"crossref","unstructured":"Rakib A, Ul Haque H M (2015) Modeling and verifying context-aware non-monotonic reasoning agents. In: Proceedings of the 13th ACM-IEEE international conference on formal methods and models for system design. IEEE, pp 453\u2013471","DOI":"10.1109\/MEMCOD.2015.7340471"},{"key":"808_CR28","unstructured":"Petcu D, Petcu M (2005) Distributed jess on a condor pool. In: Proceedings of the 9th WSEAS international conference on computers, pp 1\u20135"},{"key":"808_CR29","doi-asserted-by":"crossref","unstructured":"Jackson W (2014) Android apps for absolute beginners. 3rd edition, ISBN13: 978-1-484200-20-9. Apress, Berkeley","DOI":"10.1007\/978-1-4842-0019-3"},{"key":"808_CR30","unstructured":"Android is the world\u2019s largest mobile platform\u2013but it has to overcome these massive hurdles to keep the lead - business insider. http:\/\/www.businessinsider.my\/ , Oct 2015"},{"key":"808_CR31","unstructured":"Forgy CL (1990) Rete: a fast algorithm for the many pattern\/many object pattern match problem expert systems, pp 324\u2013341"}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-017-0808-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11036-017-0808-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-017-0808-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T05:06:05Z","timestamp":1498367165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11036-017-0808-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,26]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["808"],"URL":"https:\/\/doi.org\/10.1007\/s11036-017-0808-y","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"type":"print","value":"1383-469X"},{"type":"electronic","value":"1572-8153"}],"subject":[],"published":{"date-parts":[[2017,1,26]]}}}