Bike sharing systems (BSSs) offer a mobility service whereby public bikes, located at different stations across an urban area, are available for shared use. An important point is that the distribution of rides between stations is not uniformly distributed and certain stations fill up or empty over time. These empty and full stations lead to demand for bikes and return boxes that cannot be fulfi...

The capture, deployment and enforcement of appropriate access control policies are crucial aspects of many modern software-based systems. Previously, there has been a significant amount of research undertaken with respect to the formal modelling and analysis of access control policies; however, only a limited proportion of this work has been concerned with dynamic policies. In this paper we exp...

Systems analysis in software engineering is concerned with the modelling of both the static and dynamic aspects of the system under study. However, static modelling seems to have received more attention than behaviour modelling over the years. This is particularly true within the object-oriented paradigm, where behavioural models are generally extensions of finite state machines that relate onl...

optimization of training results and improvement of response requires selecting appropriate stimulus and are goals of any training program. it seems that ischemic-reperfusion preconditioning (irpc) can be a suitable stimulus to increase submaximal contractile responses. therefore, this study aimed at investigating the effect of ischemic-reperfusion preconditioning and remote preconditioning (ir...

1. Background In modelling fault-tolerant systems , space state based approaches such as dynamic fault trees (DFTs) [4], have been shown to increase the power of traditional combinatorial models, like static fault trees (FTs) [9]. However, in practice, these approaches have severe limitations when dealing with the increasing complexity of component dependencies and failure behaviours of today’s...