Abstract— In this paper, we propose a multi-source multipath video streaming system to support concurrent Video-onDemand (VoD) services over Wireless Mesh Networks (WMNs), and ap...
Danjue Li, Qian Zhang, Chen-Nee Chuah, S. J. Ben Y...
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
A genetic algorithm scheme with a stochastic genotype/phenotype relation is proposed. The mechanisms responsible for this intermediate level of uncertainty, are inspired by the bio...
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...