2587 search results - page 191 / 518 » Intrusion Tolerant Systems |
182
click to vote
FAST
2009
15 years 4 months ago
2009
Fault-tolerant services typically make assumptions about the type and maximum number of faults that they can tolerate while providing their correctness guarantees; when such a fau...
153
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
170
click to vote
FLAIRS
2000
15 years 8 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
203
click to vote
MOBIQUITOUS
2008
IEEE
16 years 29 days ago
2008
IEEE
Mobile ad hoc networks can be leveraged to provide ubiquitous services capable of acquiring, processing, and sharing real-time information from the physical world. Unlike Internet...
195
click to vote
SOUPS
2005
ACM
16 years 4 days ago
2005
ACM
Graphical passwords are an alternative to alphanumeric passwords in which users click on images to authenticate themselves rather than type alphanumeric strings. We have developed...