8022 search results - page 1302 / 1605 » Predictability in Critical Systems |
179
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Many model predictive control (MPC) schemes suffer from high computational complexity. Especially robust MPC schemes, which explicitly account for the effects of disturbances, can ...
206
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Pair approximations have often been used to predict equilibrium conditions in spatially-explicit epidemiological and ecological systems. In this work, we investigate whether this ...
170
click to vote
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
— In this work, we consider differential modulation in two-way relay channels (TWRC). In single antenna systems, we propose non-coherent schemes for both amplify-and forward (AF)...
170
click to vote
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Live migration provides transparent load-balancing and fault-tolerant mechanism for applications. When a Virtual Machine migrates among hosts residing in two networks, the network...
188
click to vote
ASWEC
2010
IEEE
15 years 7 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...