Date


Output Type

Download Available

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

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

Timetabling the classes of an entire university with an evolutionary algorithm.

Conference Proceeding
Paechter, B., Rankin, B., Cumming, A., & Fogarty, T. C. (1998)
Timetabling the classes of an entire university with an evolutionary algorithm. In T. Beck, & M. Schoenauer (Eds.), Parallel Problem Solving from Nature - PPSN V. , (865-874). https://doi.org/10.1007/BFb0056928
This paper describes extensions to an evolutionary algorithm that timetables classes for an entire University. A new method of dealing with multi-objectives is described along...

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

Tackling the abstraction problem for reverse engineering in a system re-engineering approach.

Conference Proceeding
Yang, H., Liu, X., & Zedan, H. (1998)
Tackling the abstraction problem for reverse engineering in a system re-engineering approach. In the proceedings of the IEEE Conference on Software Maintenance (ICSM'98), 284. https://doi.org/10.1109/ICSM.1998.738520
It is widely accepted that reverse engineering has three components: restructuring, comprehension and production of formal specification. In this paper, we advocate that the t...

FCA interpretation of relation algebra.

Conference Proceeding
Priss, U. (2006)
FCA interpretation of relation algebra. https://doi.org/10.1007/11671404_17
This paper discusses an interpretation of relation algebra and fork algebra with respect to FCA contexts. In this case, "relation algebra" refers to the DeMorgan-Peirce-Schroe...