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 AmbITion Approach : examining action research into organisational practice
Conference Proceeding
Rudman, H. (2014)
The AmbITion Approach : examining action research into organisational practice. In iFutures 2014 Conference Proceedings
Digital technologies have had profound impacts on the whole value chain of the creative sector. Arts, cultural, and heritage organisations and practices are under pressure to ...
A social-technological alignment matrix.
Conference Proceeding
Thuemmler, C., Mival, O., Lim, A. K., Holanec, I., & Fricker, S. (2015)
A social-technological alignment matrix. In 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom), 200-205. https://doi.org/10.1109/healthcom.2014.7001841
This paper refers to the term " implementation " as the Especially in health care this has proven to be a very critical phase Although strategies such as requirements engineer...
A Self-organizing LSTM-Based Approach to PM2.5 Forecast
Conference Proceeding
Liu, X., Liu, Q., Zou, Y., & Wang, G. (2018)
A Self-organizing LSTM-Based Approach to PM2.5 Forecast. In Proceedings of the 4th International Conference on Cloud Computing and Security (ICCCS 2018), (683-693). https://doi.org/10.1007/978-3-030-00015-8_59
Nanjing has been listed as the one of the worst performers across China with respect to the high level of haze-fog, which impacts people's health greatly. For the severe condi...
On the Synthesis of Perturbative Heuristics for Multiple Combinatorial Optimisation Domains
Conference Proceeding
Stone, C., Hart, E., & Paechter, B. (2018)
On the Synthesis of Perturbative Heuristics for Multiple Combinatorial Optimisation Domains. In Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part Ihttps://doi.org/10.1007/978-3-319-99253-2_14
Hyper-heuristic frameworks, although intended to be cross-domain at the highest level, rely on a set of domain-specific low-level heuristics at lower levels. For some domains,...
An open model-based interface development system: The Teallach approach.
Conference Proceeding
Griffiths, T., McKirdy, J., Paton, N. W., Kennedy, J., Cooper, R., Barclay, P. J., …Dinn, A. (1998)
An open model-based interface development system: The Teallach approach. In P. Markopoulos, & P. Johnson (Eds.), Design, Specification and Verification of Interactive Systems '98. Proceedings of the Eurographics Workshop, 34-50
The goal of the Teallach project is to provide facilities for the systematic development of interfaces to object databases in a manner which is independent of both a specific ...
The Teallach tool: Using models for flexible user interface design.
Conference Proceeding
Barclay, P. J., Griffiths, T., McKirdy, J., Paton, N. W., Cooper, R., & Kennedy, J. (1999)
The Teallach tool: Using models for flexible user interface design. In J. Vanderdonckt, & A. Puerta (Eds.), Computer-Aided Design of User Interfaces II. Proceedings of the Third International Conference on Computer-Aided Design of User Interfaces (139-157). https://doi.org/10.1007/978-94-011-4295-3_12
Model-based user interface development environments aim to provide designers with a more systematic approach to user interface development using a particular design method. Th...
3D information visualisation: Identifying and measuring success
Conference Proceeding
Kennedy, J., Mitchell, K., Barclay, P., & Marshall, B. (1995)
3D information visualisation: Identifying and measuring success. In Proceedings of the 2nd International FADIVA Workshop, 1995
This paper presents some of our views on information visualisation and interfaces to databases with respect to the theme of the workshop.
Sound and soundscape classification: Establishing key auditory dimensions and their relative importance
Conference Proceeding
McGregor, I., LePlâtre, G., Crerar, A., & Benyon, D. (2006)
Sound and soundscape classification: Establishing key auditory dimensions and their relative importance
This paper investigates soundscape classification by using two different forms of data gathering and two different populations. The first method involves a questionnaire compl...
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...