915 search results - page 8 / 183 » Robustness in the Presence of Liveness |
PODC
1999
ACM
13 years 11 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
ICC
2000
IEEE
13 years 11 months ago
2000
IEEE
—Noncoherent sequence detection algorithms, recently proposed by the authors, have a performance which approaches that of coherent detectors and are robust to phase and frequency...
TWC
2008
13 years 7 months ago
2008
Training signals for OFDM channel estimation should possess low PAR to avoid nonlinear distortions at the transmit amplifier and at the same time they should be robust against freq...
PUC
2007
13 years 6 months ago
2007
Research on smart houses has mostly been focused on automation and invisible integration of technology, which may lead to a perceived loss of control and a sense of being observed....
CHI
2004
ACM
14 years 7 months ago
2004
ACM
Lightweight photo sharing, particularly via mobile devices, is fast becoming a common communication medium used for maintaining a presence in the lives of friends and family. How ...