2587 search results - page 322 / 518 » Intrusion Tolerant Systems |
171
click to vote
FTRTFT
2000
Springer
15 years 10 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
185
click to vote
MVA
1998
15 years 7 months ago
1998
Current NASA plans call for extended year-long, multikilometer treks for the 2003 and 2005 Mars missions. A much greater amount of rover autonomy is required compared to the recen...
172
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
BitTorrent, the immensely popular file swarming system, suffers a fundamental problem: content unavailability. Although swarming scales well to tolerate flash crowds for popular c...
167
click to vote
EAAI
2008
15 years 6 months ago
2008
Fault tolerant measurements are an essential requirement for system identification, control and protection. Measurements can be corrupted or interrupted due to sensor failure, bro...
306
click to vote
DOLAP
2010
ACM
15 years 4 months ago
2010
ACM
Relational database systems have been the dominating technology to manage and analyze large data warehouses. Moreover, the ER model, the standard in database design, has a close r...