In this paper we present the work undertaken by the Advanced Interfaces Group at the University of Manchester into the design and development of a system to support large numbers ...
Steve Pettifer, Jonathan Cook, James Marsh, Adrian...
The recent studies in the distributed simulation area are focused in the High Level Architecture, defined by the DoD/USA, which proposes a standard environment to develop and run ...
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
The messiahs project is investigating mechanisms that support task placement in heterogeneous, distributed, autonomous systems. messiahs provides a substrate on which scheduling a...
The algorithm designed in [12, 15] was the very first distributed algorithm to solve the mutual exclusion problem in complete networks by using a dynamic logical tree structure as...