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...
An efficient adaptive broadcast algorithm for the mesh network
Conference Proceeding
Al-Dubai, A., & Ould-Khaoua, M. (2001)
An efficient adaptive broadcast algorithm for the mesh network. In Eighth International Conference on Parallel and Distributed Systems (ICPADS'01), 83-90. https://doi.org/10.1109/ICPADS.2001.934805
Most existing broadcast algorithms proposed for the mesh do not scale well with the network size. Furthermore, they have been mainly based on deterministic routing, which cann...
A general model for the answer-pertubation techniques.
Conference Proceeding
Stamate, D., Luchian, H., & Paechter, B. (1994)
A general model for the answer-pertubation techniques. In Proceedings of the 7th International Conference on Scientific and Statistical Database Management Systems, 90-96. https://doi.org/10.1109/SSDM.1994.336958
Answer-perturbation techniques for the protection
of statistical databases were introduced in [7]; they
are flexible (perturbation kept under control),
modular (do not interac...
Dynamic fine-grained access control in e-Health using: The secure SQL server system as an enabler of the future Internet
Conference Proceeding
Paulin, A., & Thuemmler, C. (2016)
Dynamic fine-grained access control in e-Health using: The secure SQL server system as an enabler of the future Internet. In 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom),, (245-248). https://doi.org/10.1109/HealthCom.2016.7749462
This paper describes the use of the Secure SQL Server system (SecSQL) – a system for dynamic fine-grained access control, in the context of e-Health. The system was used in tw...
Automatic Generation of Constructive Heuristics for Multiple Types of Combinatorial Optimisation Problems with Grammatical Evolution and Geometric Graphs
Conference Proceeding
Stone, C., Hart, E., & Paechter, B. (2017)
Automatic Generation of Constructive Heuristics for Multiple Types of Combinatorial Optimisation Problems with Grammatical Evolution and Geometric Graphs. In Applications of Evolutionary Computation, 578-593
In many industrial problem domains, when faced with a combinatorial optimisation problem, a “good enough, quick enough” solution to a problem is often required. Simple heurist...
'Hyperlocal e-democracy'? The experience of Scotland's Community Councils.
Conference Proceeding
Cruickshank, P., Ryan, B., & Smith, C. F. (2014)
'Hyperlocal e-democracy'? The experience of Scotland's Community Councils. In P. Parycek, & N. Edelmann (Eds.), CeDEM14 Proceedings, (73-84
This paper is motivated by the need to understand the reality of the use of the now well-established opportunities offered by the internet to engage with citizens. Building on...
On balancing traffic load in path-based multicast communication.
Conference Proceeding
Al-Dubai, A., Ould-Khaoua, M., El-Zayyat, K., & Mackenzie, L. (2002)
On balancing traffic load in path-based multicast communication. In SPECTS '03, 533-540
Multicast is the most primitive collective capability of any
message-passing network. It is itself central to many
important parallel applications in Science and
Engineering b...
Real-time construction of aircraft landing schedules using an evolutionary algorithm
Conference Proceeding
Urquhart, N. (2006)
Real-time construction of aircraft landing schedules using an evolutionary algorithm. In M. Cattolico, M. Keijzer, M. O. Neill, & C. M. Ryan (Eds.), Genetic and Evolutionary Computation Conference (GECCO)https://doi.org/10.1145/1143997.1144309
This poster investigates the use of Evolutionary Algorithms (EAs) to optimise solutions to the Dynamic Aircraft Landing Problem (DALP). The approach adopted here uses an EA to...