5604 search results - page 623 / 1121 » Becoming Increasingly Reliable |
235
Voted
HT
2010
ACM
15 years 9 months ago
2010
ACM
We investigate the use of autonomically created small-world graphs as a framework for the long term storage of digital objects on the Web in a potentially hostile environment. We ...
189
Voted
CCS
2008
ACM
15 years 9 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
208
Voted
ISSTA
2010
ACM
15 years 9 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
187
Voted
CHI
2008
ACM
15 years 9 months ago
2008
ACM
As emphasis is placed on developing mobile, educational, and other applications that minimize cognitive load on users, it is becoming more essential to base interface design on im...
198
click to vote
ESORICS
2008
Springer
15 years 9 months ago
2008
Springer
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...