Modelling of multi-layer power system interactions will become increasingly important as market mechanisms and feedback controls become more tightly coupled into the physical syst...
This paper is concerned with a system that couples the incompressible Navier-Stokes equations to the Vlasov-Fokker-Planck equation. Such a system arises in the modeling of sprays,...
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall av...