In distributed admission control (AC) schemes, handling concurrent AC decisions assumes a relevant role in avoiding over or false acceptance and, consequently, service quality degr...
— In this paper, the problem of distributed neutralization of toxic 2D diffusion process is discussed. The diffusion process is modelled by a parabolic PDE system. A group of mob...
Abstract. Decentralised, event-driven distributed simulation is particularly suitable for modelling systems with inherent asynchronous parallelism, such as agentbased systems. Howe...
Michael Lees, Brian Logan, Rob Minson, Ton Oguara,...
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...