Virtualization: Towards More Flexible and Efficient Grids Kate Keahey [email protected] Argonne National Laboratory.
Android and DDS
Using Run-Time Checking to Provide Safety and Progress for Distributed Cyber-Physical Systems