Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
This paper describes a plan to combine IT support for major tertiary hospitals through to independent GPs under a single application support provider. The objectives of the centre ...
This paper proposes a novel way to use virtual memorymapped communication (VMMC) to reduce the failover time on clusters. With the VMMC model, applications’ virtual address spac...
While extensive studies have been carried out in the past several years for many sensor applications, they cannot be applied to the network with extremely low and intermittent con...
We present S, the first system to provide transparent, lowoverhead application record-replay and the ability to go live from replayed execution. S i...