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 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.
A local search for the timetabling problem.
Conference Proceeding
Rossi-Doria, O., Blum, C., Knowles, J., Sampels, M., Socha, K., & Paechter, B. (2001)
A local search for the timetabling problem. In E. Burke, & P. Causmaecker (Eds.), Proceedings of the Conference on the Practice and Theory of Automated Timetabling (PATAT 2002), 124-127
This work is part of the Metaheuristic Network, a European Commission project that seeks to empirically compare the performance of various metaheuristics on different combinat...
A Chain Topology for Efficient Monitoring of Food Grain Storage using Smart Sensors
Conference Proceeding
Kumar Mishra, A., Kumar Tripathy, A., Obaidat, M. S., Tan, Z., Prasad, M., Sadoun, B., & Puthal, D. (2018)
A Chain Topology for Efficient Monitoring of Food Grain Storage using Smart Sensors. In Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, (89-98). https://doi.org/10.5220/0006850602550264
Due to lack of an efficient monitoring system to periodically record environmental parameters for food grain storage, a huge loss of food grains in storage is reported every y...
Ethical assessment in e-Health
Conference Proceeding
Gonzalez-Pinto, A., Ruiz de Azua, S., Mival, O. H., Thuernmler, C., Jumelle, A. K. L., Ispas, I., …González-Pinto, A. (2015)
Ethical assessment in e-Health. In 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom), 262-268. https://doi.org/10.1109/healthcom.2014.7001852
While innovative e-Health and m-Health technologies and solutions will eventually change the way health and social care are delivered, it raises many challenges regarding what...