MIDDLEWARE

Self-adaptive applications are becoming popular since they are able to adapt their behavior based on changes of environments. However, possible faults in these applications may result in runtime failures, which reduce their dependability. We propose a ...

Concurrency programs are hard to test or debug due to their non-deterministic nature. Existing dynamic program analysis approaches tried to address this by carefully examine a recorded execution trace. However, developing such analysis tools is ...

State/Event Fault Trees (SEFTs) have been developed to conduct safety modeling and assessment for safety critical systems. The purpose of minimal cut sequence analyses performed on this kind of model consists in computing the minimal scenarios that lead ...

The paper reports on work in progress towards construction of a peer-to-peer framework for privacy preserving computing on distributed electronic health data. The framework supports three different types of federated queries. For privacy-preserving ...

Smartphone applications' quality is vital. Many smartphone applications, however, suffer from various defects. One major reason is that developers lack viable techniques to expose potential defects in their applications. This paper presents a tool ...

Since cloud computing has emerged as a commercial reality, guaranteeing high availability (HA) has become a critical requirement. Many kinds of HA mechanisms have been developed with the rapid expansion of cloud computing. However, selection and ...