SiMPLE++ is an object-oriented simulation environment for modeling all types of manufacturing, logistics and service systems. AESOP’s SiMPLE++ is a fully object-oriented impleme...
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
An versatile and modular Electrical Ground Support Equipment (EGSE) system has been developed using Artificial Intelligence (AI) techniques to control and test the PESCA instrumen...
Data Grids have been adopted as the next-generation platform by many scientific communities that need to share, access, transport, process and manage large data collections distri...
We consider the problem of how to schedule t similar and independent tasks to be performed in a synchronous distributed system of p stations communicating via multiple-access chan...
Bogdan S. Chlebus, Dariusz R. Kowalski, Andrzej Li...