1268 search results - page 131 / 254 » Verifying distributed systems: the operational approach |
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We describe a Multi-Agent System (MAS) for controlling teams of uninhabited air vehicles (UAVs) in the context of a larger system that has been used to evaluate potential concepts...
ICPADS
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we propose a modified parallel virtual file system that provides snapshot functionality. Because typical file systems are exposed to various failures, taking a s...
DSOM
2009
Springer
15 years 4 months ago
2009
Springer
Rendering networks and distributed systems self-managing and self-optimizing has become a major research focus. This task is especially important for systems, such as publish/subsc...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
Power management is critical to power-constrained real-time systems. In this paper, we present a dynamic power management algorithm for real-time heterogeneous systems. Unlike oth...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
Power management is critical to power-constrained real-time systems. In this paper, we present a dynamic power management algorithm. Unlike other approaches that focus on the trad...