3886 search results - page 171 / 778 » Toward Recovery-Oriented Computing |
SAC
2000
ACM
14 years 1 months ago
2000
ACM
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
ECOOPW
1999
Springer
14 years 1 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
ECOOPW
1999
Springer
14 years 1 months ago
1999
Springer
Few existing approaches towards architectural evolution deal with unanticipated evolution. This is an important restriction, since a lot of architectural changes are very di cult ...