Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art techniques, and wrapped in a user-friendly gra...

Within the context of predicting and mitigating flood hazards, this paper motivates the development of innovative ideas in three engineering research areas: (a) spatially-distributed quantitative rainfall prediction, (b) spatially-distributed flow prediction, and (c) long-term flow prediction for water resources management. Design, operational implementation, real-time testing, and training of ...

Studies conducted in the United States (n /115) and Spain (n /146) examined how talking about an acute stressor in different social contexts influences cognitive, emotional, and physiological adjustment. In both studies, female college students viewed a video dramatizing a real-life, gang rape scene on two separate days. After the first viewing, participants were randomly assigned to one of fou...

Traditionally decisions made based on simulation models have been the outcomes of complicated statistical analyses and having confidence in them is a subjective matter. Hybrid simulation offers an improved approach to better model real life systems and increase confidence in their outcomes. In particular hybrid discrete-continuous simulation has the potentials to reduce the impact of statistics...

To manage the size and complexity of business process models, the use of subprocesses is widely advocated. In this paper, we provide a review of work with respect to the modularization of business process models, which points at a lack of solid evidence for its benefits and the absence of clear criteria for identifying subprocesses. In response to this, we conducted an empirical investigation t...

With the acceleration of urbanization and the rapid growth of private cars, the traffic congestion is increasingly becoming a “chronic illness” for urban development. This paper describes what exactly the real-time and dynamic urban traffic information service systemis. Furthermore, the pieces of technology needed and the benefits of the system will be discussed. Finally, we conclude with issue...

Fault tolerance is an important aspect in realtime computing. In real-time systems, tasks could be faulty due to various causes. Faulty tasks may compromise the safety and performance of the whole system and even cause disastrous consequences. In this paper, we study the possibilities of applying feedback control of software execution to real-time systems for fault tolerance purposes. A new fau...

Innovation’ has become a buzzword in academic papers, news articles, and book titles, but it is variously defined and is often referred to as ‘invention’ or ‘design’. A consensus of understanding the interrelationships of the concepts and activities pertaining to innovation is needed to guide collective action for innovation. This paper proposes a united view of the innovation process, which ad...