A refinement calculus for the development of real-time systems.
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
A scalable plane-based broadcast algorithm for 3D-Mesh networks
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
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...
Towards self-defending control systems in cybersecurity analysis and measures in industrial automation systems
Soufian, M. (2017)
Towards self-defending control systems in cybersecurity analysis and measures in industrial automation systems. In 26th IEEE International Symposium on Industrial Electronics (ISIE17)https://doi.org/10.1109/isie.2017.8001538
Towards self-defending control systems in cybersecurity analysis and measures in industrial automation systems.
Determinants of Next Generation e-Health Network and Architecture Specifications
Thuemmler, C., Paulin, A., & Lim, A. K. (2016)
Determinants of Next Generation e-Health Network and Architecture Specifications. In 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom), (233-238). https://doi.org/10.1109/HealthCom.2016.7749460
This paper summarizes the determinants for future e-Health network and IT infrastructures in the health care environment. The paper bases on observations conducted as part of ...
Minimization of incompletely specified mixed polarity Reed Muller functions using genetic algorithm.
Al-Jassani, B. A., Urquhart, N. B., & Almaini, A. E. A. (2009)
Minimization of incompletely specified mixed polarity Reed Muller functions using genetic algorithm. https://doi.org/10.1109/12.67320
A New and efficient Genetic Algorithm (GA) based approach is presented to minimise the number of terms of Mixed Polarity Reed Muller (MPRM) single and multi output incompletel...
The challenge of visualising multiple overlapping classification.
Graham, M., Kennedy, J., & Hand, C. (1999)
The challenge of visualising multiple overlapping classification. In N. W. Paton, & T. Griffiths (Eds.), Proceedings [of] IEEE User Interfaces to Data Intensive Systems (UIDIS) 1999, 42-51. https://doi.org/10.1109/UIDIS.1999.791461
Techniques for visualising hierarchies have concentrated on displaying static structures or, in the case of dynamic hierarchies, adding or deleting nodes from the hierarchy. H...
Using curves to enhance parallel coordinate visualisations
Graham, M., & Kennedy, J. (2003)
Using curves to enhance parallel coordinate visualisations. In E. Banissi, K. Börner, C. Chen, G. Clapworthy, C. Maple, A. Lobben, …J. Zhang (Eds.), Proceedings on Seventh International Conference on Information Visualization, 2003. IV 2003, 10-16. doi:10.1109/iv.2003.1217950
This paper introduces a number of refinements to the Parallel Coordinates visualisation metaphor for multi-dimensional data. Firstly, the traditional set of poly-lines are rep...
Appliance Recognition Based on Continuous Quadratic Programming
Liu, X., & Liu, Q. (2018)
Appliance Recognition Based on Continuous Quadratic Programming. In Proceedings of 4th International Conference on Cloud Computing and Security (ICCCS 2018), (63-72). https://doi.org/10.1007/978-3-030-00018-9_6
The detailed information of residents' electricity consumption is of great significance to the planning of the use of electrical appliances and the reduction of electrical ene...
Application of the Grouping Genetic Algorithm to University Course Timetabling
Lewis, R., Lewis, R. M. R., & Paechter, B. (2005)
Application of the Grouping Genetic Algorithm to University Course Timetabling. In J. Gottlieb, & G. Raidl (Eds.), Evolutionary Computation in Combinatorial Optimization, 144-153. https://doi.org/10.1007/978-3-540-31996-2_14
University Course Timetabling-Problems (UCTPs) involve the allocation of resources (such as rooms and timeslots) to all the events of a university, satisfying a set of hard-co...