12289 search results - page 196 / 2458 » computing 2006 |
138
Voted
JVA
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
ICDCSW
2006
IEEE
15 years 9 months ago
2006
IEEE
108
Voted
EGICE
2006
15 years 7 months ago
2006
127
Voted
PUC
2006
15 years 3 months ago
2006
This paper describes a taxonomy for a ubiquitous computing software stack called UbiqStack. Through the lens of the UbiqStack taxonomy we survey a variety of subsystems designed to...
126
Voted
FUIN
2000
15 years 3 months ago
2000
We consider the problem of dependable computation with multiple inputs. The goal is to study when redundancy can help to achieve survivability and when it cannot. We use AND/OR gra...