A refinement calculus for the development of real-time systems.
Conference Proceeding
Chen, Z., Cau, A., Zedan, H., Liu, X., & Yang, H. (1998)
A refinement calculus for the development of real-time systems. In 5th Asia Pacific Software Engineering Conference, APSEC '98, 61. https://doi.org/10.1109/APSEC.1998.733588
We present a calculus which can transfer specifications
to objects for the development of real-time systems. The
object model is based on a practical OO development
technique—...
The Design and Evaluation of a Modern C++ Library
Conference Proceeding
Chalmers, K. (2016)
The Design and Evaluation of a Modern C++ Library. In Communicating Process Architectures 2016
Although many CSP inspired libraries exist, none yet have targeted modern C++ (C++11 onwards). The work presented has a main objective of providing a new C++ CSP library which...
Review of e-Health Frameworks.
Conference Proceeding
Prajapati, B., Buchanan, W. J., Smales, A., Macfarlane, R., & Spyra, G. (2015)
Review of e-Health Frameworks. In Health Informatics Conference 2015
In order to improve the quality of health care and widen the accessibility, health care providers are consistently looking to inject information and communication technology t...
Norms and standards in modular medical architectures.
Conference Proceeding
Fricker, S., Fiedler, M., Grottland, A., Jell, T., Magedanz, T., Thuemmler, C., …Paulin, A. (2014)
Norms and standards in modular medical architectures. In 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services (Healthcom) (IEEE Healthcom 2013), (382-387). https://doi.org/10.1109/HealthCom.2013.6720705
Recent Internet of Things (IoT) research has been aiming at interoperability of devices and the integration of sensor networks. The Future Internet - Private Public Partnershi...
Room occupancy measurement using low-resolution infrared cameras.
Conference Proceeding
Berger, M., & Armitage, A. (2010)
Room occupancy measurement using low-resolution infrared cameras. https://doi.org/10.1049/cp.2010.0521
Measuring room occupancy has always been a desirable endeavour. This could be for security reasons, to save energy or simply for statistical reasons. Recently the use of therm...
Apto: A MDD-Based Generic Framework for Context-Aware Deeply Adaptive Service-Based Processes
Conference Proceeding
Jaroucheh, Z., Liu, X., & Smith, S. (2010)
Apto: A MDD-Based Generic Framework for Context-Aware Deeply Adaptive Service-Based Processes. In Proceedings of The 8th IEEE International Conference on Web Services (ICWS’10), 219-226. doi:10.1109/icws.2010.16
Context-awareness and adaptability are important and desirable properties of service-based processes designed to provide personalized services. Most of the existing approaches...
Artificial Immune System driven evolution in Swarm Chemistry.
Conference Proceeding
Capodieci, N., Hart, E., & Cabri, G. (2014)
Artificial Immune System driven evolution in Swarm Chemistry. In Proceedings of IEEE SASO 2014, (40-49). https://doi.org/10.1109/SASO.2014.16
Morphogenetic engineering represents an interesting field in which models, frameworks and algorithms can be tested in order to study how self-* properties and emergent behavio...
A scalable plane-based broadcast algorithm for 3D-Mesh networks
Conference Proceeding
Al-Dubai, A., Ould-Khaoua, M., & Mackenzie, L. (2002)
A scalable plane-based broadcast algorithm for 3D-Mesh networks. In Proceedings of the Eleventh Euromicro Conference on Parallel,Distributed and Network-Based Processing (Euro-PDP’03), 149-156. doi:10.1109/empdp.2003.1183581
Broadcast algorithms for wormhole–switched meshes
have been widely reported in the literature. However,
most of these algorithms handle broadcast in a sequential
manner and do...
Using a conceptual data language to describe a database and its interface
Conference Proceeding
Mitchell, K., Kennedy, J., & Barclay, P. J. (1995)
Using a conceptual data language to describe a database and its interface. In C. Goble, & J. Keane (Eds.), Advances in Databases: Proceedings [of the] 13th British National Conference on Database - BNCOD13, 1995 (101-119). https://doi.org/10.1007/BFb0000543
We propose a conceptual approach to defining interfaces to databases which uses the features of a fully object oriented data language to specify interface objects combined wit...
Mapping Features to Context Information: Supporting Context Variability for Context-Aware Pervasive Applications
Conference Proceeding
Jaroucheh, Z., Liu, X., & Smith, S. (2010)
Mapping Features to Context Information: Supporting Context Variability for Context-Aware Pervasive Applications. In Proceedings of IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technologies (WI-IAT 2010), 611-614. doi:10.1109/wi-iat.2010.25
Context-aware computing is widely accepted as a promising paradigm to enable seamless computing. Several middlewares and ontology-based models for describing context informati...