Research explorer tool

Date


Output Type

Download Available

101 results

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—...

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...

Towards self-defending control systems in cybersecurity analysis and measures in industrial automation systems

Conference Proceeding
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

Conference Proceeding
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.

Conference Proceeding
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.

Conference Proceeding
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

Conference Proceeding
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

Conference Proceeding
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

Conference Proceeding
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...