Reasoning in pervasive computational spaces

Koay, N., Syal, P. and Juric, R. 2010. Reasoning in pervasive computational spaces. Proceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. London 30 - 31 Mar 2010

TitleReasoning in pervasive computational spaces
AuthorsKoay, N., Syal, P. and Juric, R.
TypeConference paper
Year2010
ConferenceProceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Publication dates
Completed2010

Related outputs

Semantic remote patient monitoring system
Shojanoori, R. and Juric, R. 2013. Semantic remote patient monitoring system. Telemedicine and e-Health. 19 (2), pp. 129-136.

Semantic Recommendation of Information Sources for Lifelong Learning
Almarri, H., Rahman, T., Juric, R. and Parapadakis, D. 2013. Semantic Recommendation of Information Sources for Lifelong Learning. Journal of Integrated Design and Process Science. 17 (1), pp. 55-78.

Towards a software tool for preventing diabetic foot in diabetic patients
Chammas, N., Juric, R., Koay, N., Gurupur, V.P. and Suh, S.C. 2013. Towards a software tool for preventing diabetic foot in diabetic patients. in: Proceedings of the Forty-Sixth Annual Hawaii International Conference on System Sciences, January 7-10 2013, Maui, Hawaii, US IEEE . pp. 2646-2655

Semantic management of submissions of applications for marketing authorisation of medicines
Saaidi, R., Kataria, P. and Juric, R. 2011. Semantic management of submissions of applications for marketing authorisation of medicines. in: Suh, S.C., Gurupur, V.P. and Tanik, M.M. (ed.) Biomedical engineering: health care systems, technology and techniques New York Springer. pp. 99-115

Sharing healthcare data by manipulating ontological individuals
Kataria, P. and Juric, R. 2011. Sharing healthcare data by manipulating ontological individuals. in: Suh, S.C., Gurupur, V.P. and Tanik, M.M. (ed.) Biomedical engineering: health care systems, technology and techniques New York Springer. pp. 117-127

Semantic management of nonfunctional requirements in an e-health system
Koay, N., Kataria, P. and Juric, R. 2010. Semantic management of nonfunctional requirements in an e-health system. Telemedicine and e-Health. 16 (4), pp. 461-471.

Modelling the semantics of smart learning environments through ontological mappings
Syal, P., Kataria, P., Juric, R., Robins, D. and Tanik, M.M. 2010. Modelling the semantics of smart learning environments through ontological mappings. Proceedings of the 15th International Conference on System Design and Process Science. Crown Plaza near Galleria, Dallas, USA 06 - 11 Jun 2010

Experiences of building assisted self care systems within smart home environment
Shojanoori, R., Juric, R. and Tourani, B. 2010. Experiences of building assisted self care systems within smart home environment. Proceedings of the 15th International Conference on System Design and Process Science. Crown Plaza near Galleria, Dallas, USA 06 - 11 Jun 2010

Towards balanced distribution of computations through automated reasoning
Shojanoori, R., Juric, R. and Lohi, M. 2010. Towards balanced distribution of computations through automated reasoning. in: Bolotov, A. (ed.) Proceedings of the Automated Reasoning Workshop 2010: Bridging the Gap between Theory and Practice, ARW 2010 London University of Westminster.

Sharing e-Health information through ontological layering
Kataria, P. and Juric, R. 2010. Sharing e-Health information through ontological layering. in: Sprague, R.H. (ed.) Proceedings of the 43rd Hawaii International Conference on System Sciences (HICSS 43), Kauai, Hawaii, January 5 - 8, 2010 IEEE . pp. 1-10

Creating semantics from user inputs through ontological reasoning
Kataria, P. and Juric, R. 2010. Creating semantics from user inputs through ontological reasoning. Proceedings of the 15th International Conference on System Design and Process Science. Crown Plaza near Galleria, Dallas, USA 06 - 11 Jun 2010

Automated reasoning in resolving semantic conflicts across heterogeneous repositories
Kataria, P. and Juric, R. 2010. Automated reasoning in resolving semantic conflicts across heterogeneous repositories. Proceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. London 30 - 31 Mar 2010

Evaluation of virtual world tools
Dagdeviren, H., Juric, R., Patadia, R. and Tesanovic, I. 2010. Evaluation of virtual world tools. Proceedings of the 15th International Conference on System Design and Process Science. Crown Plaza near Galleria, Dallas, USA 06 - 11 Jun 2010

Sharing information and data across heterogeneous e-health systems
Juric, R., Ganguly, S., Kataria, P., Ertas, A. and Tanik, M.M. 2009. Sharing information and data across heterogeneous e-health systems. Telemedicine and e-Health. 15 (5), pp. 454-464.

Semantic management of submissions of applications for marketing authorisation of medicines
Saaidi, R., Juric, R. and Kataria, P. 2009. Semantic management of submissions of applications for marketing authorisation of medicines. in: Proceedings of the Twelfth SDPS Transdisciplinary Conference-Workshop on Integrated Systems, Design & Process Science. Montgomery, Alabama, The Informatics Institute, Auburn University at Montgomery, November 1-5, 2009 SDPS.

Ontological support for managing non-functional requirements in pervasive healthcare
Koay, N., Kataria, P., Juric, R., Oberndorf, P. and Terstyanszky, G. 2009. Ontological support for managing non-functional requirements in pervasive healthcare. in: Proceedings of the 42nd Annual Hawaii International Conference on System Sciences (HICSS 42), Hawaii, Big Island, US, January 5 - 8, 2009 IEEE . pp. 1-10

Sharing healthcare data by manipulating ontological individuals
Kataria, P. and Juric, R. 2009. Sharing healthcare data by manipulating ontological individuals. in: Proceedings of the Twelfth SDPS Transdisciplinary Conference-Workshop on Integrated Systems, Design & Process Science. Montgomery, Alabama, The Informatics Institute, Auburn University at Montgomery, November 1-5, 2009 SDPS.

Driving business values through semantic technologies: supporting dynamic enterprise business models
Jakimavicius, T., Juric, R. and Kataria, P. 2009. Driving business values through semantic technologies: supporting dynamic enterprise business models. in: Proceedings of the Twelfth SDPS Transdisciplinary Conference-Workshop on Integrated Systems, Design & Process Science. Montgomery, Alabama, The Informatics Institute, Auburn University at Montgomery, November 1-5, 2009 SDPS.

Intelligent business process improvement
Filip, E.A., Juric, R. and Kataria, P. 2009. Intelligent business process improvement. in: Proceedings of the Twelfth SDPS Transdisciplinary Conference-Workshop on Integrated Systems, Design & Process Science. Montgomery, Alabama, The Informatics Institute, Auburn University at Montgomery, November 1-5, 2009 SDPS.

Semantic management of privacy policies in social network sites
Ayim, A., Ganguly, S., Koay, N. and Juric, R. 2009. Semantic management of privacy policies in social network sites. in: Proceedings of the Twelfth SDPS Transdisciplinary Conference-Workshop on Integrated Systems, Design & Process Science. Montgomery, Alabama, The Informatics Institute, Auburn University at Montgomery, November 1-5, 2009 SDPS.

Ontology based access control derived from dynamic RBAC and its context constraints
Macfie, A., Kataria, P., Koay, N., Dagdeviren, H., Juric, R. and Madani, K. 2008. Ontology based access control derived from dynamic RBAC and its context constraints. Proceedings of the 11th International Conference on Integrated Design and Process Technology (IDPT 2008), Taichung, Taiwan, June 1-6, 2008.

Research issues in access control for pervasive healthcare
Macfie, A., Juric, R. and Madani, K. 2008. Research issues in access control for pervasive healthcare. Proceedings of the 11th International Conference on Integrated Design and Process Technology (IDPT 2008), Taichung, Taiwan, June 1-6, 2008.

Ontology for supporting context aware applications for the intelligent hospital ward
Kataria, P., Macfie, A., Juric, R. and Madani, K. 2008. Ontology for supporting context aware applications for the intelligent hospital ward. Proceedings of the 11th International Conference on Integrated Design and Process Technology (IDPT 2008), Taichung, Taiwan, June 1-6, 2008.

Ontology for supporting context aware applications for the intelligent hospital ward
Kataria, P., Macfie, A., Juric, R. and Madani, K. 2008. Ontology for supporting context aware applications for the intelligent hospital ward. Transactions of the SDPS / Journal of Integrated Design and Process Science. 12 (3), pp. 35-44.

Ontology for interoperability and data sharing in healthcare
Kataria, P., Koay, N., Juric, R., Madani, K. and Tesanovic, I. 2008. Ontology for interoperability and data sharing in healthcare. in: Sahni, S. (ed.) Proceedings of the 4th IASTED International Conference on Advances in Computer Science and Technology (ACST 2008), Langkawi, Malaysia, 02-04 April 2008 IASTED.

Implementation of ontology for intelligent hospital ward
Kataria, P., Juric, R., Paurobally, S. and Madani, K. 2008. Implementation of ontology for intelligent hospital ward. in: Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 41), Hawaii, Big Island, US, January 7 - 10, 2008 IEEE . pp. 253-262

Go-CID: generic ontology for context-aware, interoperable and data sharing applications
Kataria, P., Juric, R. and Madani, K. 2007. Go-CID: generic ontology for context-aware, interoperable and data sharing applications. in: Proceedings of the The Eleventh IASTED International Conference on Software Engineering and Applications - SEA 2007, November 19 – 21, 2007, Cambridge, Massachusetts, USA Acta Press.

Supporting interoperability frameworks in the UK public sector
Granatir, N., Juric, R., Kuljis, J. and Tesanovic, I. 2007. Supporting interoperability frameworks in the UK public sector. Proceedings of the 10th International Conference on Integrated Design and Process Technology (IDPT 2007). Antalya, Turkey 03 - 08 Jun 2007

Analysis of integrated development environments for J2EE applications
Dagdeviren, H., Juric, R., Ogunleye, O. and Tesanovic, I. 2007. Analysis of integrated development environments for J2EE applications. in: Proceedings of the The Eleventh IASTED International Conference on Software Engineering and Applications - SEA 2007, November 19 – 21, 2007, Cambridge, Massachusetts, USA Acta Press.

Databases for facilitating data sharing in the UK NHS
Akram, A., Juric, R., Ranganathan, M. and Slevin, L. 2007. Databases for facilitating data sharing in the UK NHS. Integrated Design & Process Technology Conference. Topkapi Palace, Antalya, Turkey 03 - 08 Jun 2007

Design patterns for automation of marketing authorisations in pharmaceutical industry
Williams, S., Juric, R. and Milligan, P. 2005. Design patterns for automation of marketing authorisations in pharmaceutical industry. in: 27th International Conference on Information Technology Interfaces, 2005 IEEE . pp. 565-570

Developing a database for automating regulatory affairs in the pharmaceutical industry
Slevin, L., Shojanoori, R. and Juric, R. 2005. Developing a database for automating regulatory affairs in the pharmaceutical industry. Transactions of the SDPS / Journal of Integrated Design and Process Science. 9 (4), pp. 1-11.

Developing a database for automating regulatory affairs in the pharmaceutical industry
Slevin, L., Shojanoori, R. and Juric, R. 2005. Developing a database for automating regulatory affairs in the pharmaceutical industry. 8th International Conference on Integrated Design and Process Technology (IDPT 2005). Beijing, China 12-16 Jun 2005

Supporting quality indicators in the UK national health service
Slevin, L., Dagdeviren, H., Juric, R. and Akram, A. 2005. Supporting quality indicators in the UK national health service. in: 27th International Conference on Information Technology Interfaces, 2005 USA IEEE . pp. 157-162

Experiences of generating COTS components when automating medicinal product evaluations
Juric, R., Williams, S. and Milligan, P. 2005. Experiences of generating COTS components when automating medicinal product evaluations. 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05). Taipei, Taiwan, Republic of China 14-16 Jun 2005

Software support in automation of medicinal product evaluations
Juric, R., Slevin, L., Shojanoori, R. and Williams, S. 2005. Software support in automation of medicinal product evaluations. in: Bos, L., Laxminarayan, S. and Marsh, A.J. (ed.) Medical and care compunetics Oxford, UK IOS Press.

COTS components and DB interoperability
Juric, R. and Beus-Dukic, L. 2005. COTS components and DB interoperability. in: Xavier, F. and Port, D. (ed.) COTS-based software systems: 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 Berlin, Germany Springer.

Outsourcing network management
Juric, R., Ashfaque, S. and Saunders, B. 2005. Outsourcing network management. in: 27th International Conference on Information Technology Interfaces, 2005 IEEE . pp. 111-120

An exploratory study for effective COTS and OSS product marketing
Dagdeviren, H., Juric, R. and Kassana, T.A. 2005. An exploratory study for effective COTS and OSS product marketing. in: 27th International Conference on Information Technology Interfaces, 2005 IEEE . pp. 644-649

Software architecture style for interoperable databases
Juric, R., Kuljis, J. and Paul, R.J. 2004. Software architecture style for interoperable databases. in: ITI 2004: Proceedings of the 26th International Conference on Information Technology Interfaces, Cavtat, Croatia, Jun 07-10, 2004 University of Zagreb. pp. 159-166

Experiences of teaching UML within the information systems curriculum
Dagdeviren, H., Juric, R. and Lees, P. 2004. Experiences of teaching UML within the information systems curriculum. in: ITI 2004: Proceedings of the 26th International Conference on Information Technology Interfaces, Cavtat, Croatia, Jun 07-10, 2004 University of Zagreb. pp. 381-386

A survey of acceptance of e-government services in the UK
Adeshara, P., Juric, R., Kuljis, J. and Paul, R.J. 2004. A survey of acceptance of e-government services in the UK. in: ITI 2004: Proceedings of the 26th International Conference on Information Technology Interfaces, Cavtat, Croatia, Jun 07-10, 2004 University of Zagreb. pp. 415-420

Contextualising components when addressing database interoperability
Juric, R., Kuljis, J. and Paul, R.J. 2004. Contextualising components when addressing database interoperability. in: Hamza, M.H. (ed.) Proceedings of the 8th IASTED International Conference on Software Engineering and Applications Calgary, Canada Acta Press.

Simulation education with web-based discrete event simulation models
Juric, R., Kuljis, J., Paul, R.J. and Kent, S. 2004. Simulation education with web-based discrete event simulation models. in: IASTED International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004 Acta Press.

A software architecture to support interoperability in multiple database systems
Juric, R., Kuljis, J. and Paul, R.J. 2004. A software architecture to support interoperability in multiple database systems. in: IASTED International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004 Acta Press. pp. 71-77

A survey of acceptance of e-government services in the UK
Adeshara, P., Juric, R., Kuljis, J. and Paul, R.J. 2004. A survey of acceptance of e-government services in the UK. CIT Journal of Computing and Information Technology. 12 (2), pp. 143-150.

Experiences of revalidating the undergraduate and postgraduate courses within the information systems curricula at University of Westminster, UK
Juric, R., Lees, P. and Ptohos, T. 2003. Experiences of revalidating the undergraduate and postgraduate courses within the information systems curricula at University of Westminster, UK. in: Budin, L. (ed.) ITI 2003 : proceedings of the 25th International Conference on Information Technology Interfaces : Silver interfaces: computer at the university : June 16-19, 2003, Cavtat, Croatia Zagreb, Croatia SRCE University Computing Centre. pp. 51-58

Experiences of revalidating the undergraduate and postgraduate courses within the information systems curricula at University of Westminster, UK
Juric, R., Lees, P. and Ptohos, T. 2003. Experiences of revalidating the undergraduate and postgraduate courses within the information systems curricula at University of Westminster, UK. CIT Journal of Computing and Information Technology. 11 (3), pp. 243-252.

Cross cultural Web design: an experience of developing UK and Korean cultural markers
Juric, R., Kim, I. and Kuljis, J. 2003. Cross cultural Web design: an experience of developing UK and Korean cultural markers. in: Budin, L. (ed.) ITI 2003 : proceedings of the 25th International Conference on Information Technology Interfaces : Silver interfaces: computer at the university : June 16-19, 2003, Cavtat, Croatia Zagreb, Croatia SRCE University Computing Centre. pp. 309-313

Applying component based modelling in the process of evaluation of medicinal products
Juric, R. and Juric, J. 2002. Applying component based modelling in the process of evaluation of medicinal products. in: Proceedings of the 6th International Conference on Integrated Design and Process Technology, IDPT 2002 (Pasadena, CA, US, 23-28 June 2002) IDPT.

The importance of real-world experience in student learning
Saunders, B. and Juric, R. 2001. The importance of real-world experience in student learning. in: Kalpic, D. and Dobric, V.H. (ed.) ITI 2001 : proceedings of the 23rd International Conference on Information Technology Interfaces : June 19-22, 2002, Pula, Croatia IEEE . pp. 117-122

Internet users and online privacy: a study assessing whether Internet users' privacy is adequately protected
Patel, V. and Juric, R. 2001. Internet users and online privacy: a study assessing whether Internet users' privacy is adequately protected. in: Kalpic, D. and Dobric, V.H. (ed.) ITI 2001 : proceedings of the 23rd International Conference on Information Technology Interfaces : June 19-22, 2002, Pula, Croatia IEEE . pp. 193-200

An approach to developing a Web site for SME
Patel, K. and Juric, R. 2001. An approach to developing a Web site for SME. in: Kalpic, D. and Dobric, V.H. (ed.) ITI 2001 : proceedings of the 23rd International Conference on Information Technology Interfaces : June 19-22, 2002, Pula, Croatia IEEE . pp. 187-192

The application of UML to the modelling of complex business environments
Juric, R. and Juric, J. 2000. The application of UML to the modelling of complex business environments. in: Proceedings of the 5th Biennial World Conference on Integrated Design and Process Technology, IDPT 2000: Crowne Plaza Hotel, North Dallas/Addison, Texas, June 4-8, 2000 SDPS.

Extreme programming and its development practices
Juric, R. 2000. Extreme programming and its development practices. in: Kalpic, D. and Dobric, V.H. (ed.) Proceedings of the 22nd International Conference on Information Technology Interfaces, ITI 2000, 13-16 June 2000, Pula, Croatia IEEE . pp. 97-104

Engineering requirements through use cases in complex business environment
Juric, R. and Kuljis, J. 1999. Engineering requirements through use cases in complex business environment. Requirements Engineering. 4 (2), pp. 65-76.

Building an evaluation instrument for OO CASE tool assessment for Unified Modelling Language support
Juric, R. and Kuljis, J. 1999. Building an evaluation instrument for OO CASE tool assessment for Unified Modelling Language support. in: Proceedings of the 32nd Annual Hawaii International Conference on System Sciences. HICSS 32, Maui, Hawaii, USA, January 3-6 IEEE .

The application of UML to the modelling of automated support of evaluating medicinal products across different regulatory requirements
Juric, R. 1999. The application of UML to the modelling of automated support of evaluating medicinal products across different regulatory requirements. in: Kalpic, D. and Dobric, V.H. (ed.) Proceedings of the 21st International Conference on Information Technology Interfaces, ITI '99, June 15-18, Pula, Croatia University of Zagreb University Computing Centre.

The assessment of object oriented modelling elements of the UML 1.1
Juric, R. and Song, L.Y. 1998. The assessment of object oriented modelling elements of the UML 1.1. in: Proceedings of the 3rd Biennial World Conference on Integrated Design and Process Technology, IDPT 1998: Maritim ProArte Hotel, Berlin, Germany, July 6-9, 1998 SDPS.

DBRE migration from relational to object oriented databases
Juric, R. 1998. DBRE migration from relational to object oriented databases. in: Proceedings of the 20th International Conference on Information Technology Interfaces, ITI '98, June 16-19, Pula, Croatia Zagreb SRCE.

The UML rules
Juric, R. 1998. The UML rules. ACM SIGSOFT Software Engineering Notes. 23 (1), pp. 92-97.

The unified modelling language, a critical assessment of modelling solutions
Juric, R. 1997. The unified modelling language, a critical assessment of modelling solutions. in: Proceedings of the 19th International Conference on Information Technology Interfaces, ITI '97, Pula, Croatia Zagreb SRCE. pp. 557-564

The unified method: a reflective description and analysis
Juric, R. and Snaith, J. 1996. The unified method: a reflective description and analysis. in: Kalpic, D. and Dobrich, V.H. (ed.) Proceedings of the 18th International Conference on Information Technology Interfaces, ITI '96, June 13-16, Pula, Croatia Zagreb University of Zagreb. pp. 553-559

The unified method rules
Juric, R. 1996. The unified method rules. in: Proceedings of the 2nd World Conference on Integrated Design and Process Technology, IDPT 1996: Marriott at the Capitol, Austin, Texas, December 1-4,1996 SDPS. pp. 272-279

A comparative analysis of Booch '93 and Rumbaugh et al.'s object oriented methodologies
Juric, R. and Snaith, J. 1995. A comparative analysis of Booch '93 and Rumbaugh et al.'s object oriented methodologies. in: Kalpic, D. and Dobrich, V.H. (ed.) Proceedings of the 17th International Conference on Information Technology Interfaces, ITI '95, June 13-16, Pula, Croatia Zagreb University of Zagreb. pp. 599-609

SSADM: Its strengths and weaknesses and a comparison with some other structured methodologies
Juric, R. and Snaith, J. 1994. SSADM: Its strengths and weaknesses and a comparison with some other structured methodologies. in: Ceric, V. and Dobrich, V.H. (ed.) Proceedings of the 16th International Conference on Information Technology Interfaces, ITI '94, June 13-16, Pula, Croatia Zagreb University Computing Centre.

Permalink - https://westminsterresearch.westminster.ac.uk/item/90693/reasoning-in-pervasive-computational-spaces


Share this
Tweet
Email