We provide a formal framework within which an Information System (IS) could be modelled, analysed, and verified in a compositional manner. Our work is based on Interval Temporal Logic (ITL) and its programming language ...

The ever-increasing demands for combined properties in modern machinery operating under ever more severe conditions have been the driver for the rapid developments of many advances surface engineering technologies. Designers ...

Urban-scale energy modelling provides an ideal tool for studying non-domestic energy consumption and emissions reduction at the community level. In principle, an approach based on the characteristics of individual commercial ...

Software products have been racing against aging problem for most of their lifecycles, and evolution is the most effective and efficient solution to this problem. Model-Driven Architecture (MDA) is a new technique for ...

The work in this paper describes a study of quantised state systems in order to formulate a new framework within which water distribution systems can be modelled and simulated. In contrast to the classic time-slicing ...

In the research presented in this paper household case studies were considered. Main objective of this research is to investigate models and algorithms for alternative approaches to current utility–service provision. This ...

This study aims at tackling some of the problems often encountered in photostability testing and liquid formulation development. Three anti-cancer drugs will be employed as models; Dacarbazine (DBZ) has well established ...

This paper aims to explore the impacts of peaking factors on a water distribution system designed for a small city in Germany through model-based analysis. As a case study, the water distribution network was modelled by ...

Purpose – To report on the development of a new, more balanced approach to managing the performance of key employees in project-based organizations.
Design/methodology/approach – Following the establishment of the role-based ...