MGC: Middleware for Grids, Clouds and e-Science Read more about MGC: Middleware for Grids, Clouds and e-Science
MetriSec: Security Measurements and Metrics Read more about MetriSec: Security Measurements and Metrics
MERLIN: Mechanized Reasoning about Languages with Variable Binding Read more about MERLIN: Mechanized Reasoning about Languages with Variable Binding
MEMOCODE: Formal Methods and Models for Co-Design Read more about MEMOCODE: Formal Methods and Models for Co-Design
MELT: Mobile Entity Localization and Tracking in GPS-Less Environment Read more about MELT: Mobile Entity Localization and Tracking in GPS-Less Environment
MEDES: Management of Emergent Digital EcoSystems Read more about MEDES: Management of Emergent Digital EcoSystems
MEDEA: Memory Performance: Dealing With Applications, Systems And Architecture Read more about MEDEA: Memory Performance: Dealing With Applications, Systems And Architecture