: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
Deeply embedded infrastructures are pervasive systems that have significant cyber and physical components, interacting with each other in complex ways. These interactions can vio...
Effective analysis of genome sequences and associated functional data requires access to many different kinds of biological information. For example, when analysing gene expressio...
Mike Cornell, Norman W. Paton, Shengli Wu, Carole ...
We present the Vida family of abstractions of anonymous communication systems, model them probabilistically and apply Bayesian inference to extract patterns of communications and u...
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...