268 search results - page 21 / 54 » The Truth System: Can a System of Lying Processes Stabilize |
DSN
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe the implementation and experimental evaluation of a fault-tolerant leader election service for dynamic systems. Intuitively, distributed applications can use this serv...
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
CDC
2009
IEEE
14 years 15 days ago
2009
IEEE
— This paper describes a two-sweep control design method to stabilize the acrobot, an input-affine under-actuated system, at the upper equilibrium point. In the forward sweep, t...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— Measurement-based optimization is one important strategy to improve the performance of bandwidth-demanding peer-to-peer systems. However, to date, we have little quantitative k...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— A novel probabilistic online learning framework for autonomous off-road robot navigation is proposed. The system is purely vision-based and is particularly designed for predict...