248 search results - page 48 / 50 » A Model-Theoretic Approach to the Verification of Situated R... |
SOICT
2010
13 years 15 days ago
2010
Protecting data by passwords in documents such as DOC, PDF or RAR, ZIP archives has been demonstrated to be weak under dictionary attacks. Time for recovering the passwords of suc...
TES
2001
Springer
13 years 10 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
HICSS
2003
IEEE
13 years 11 months ago
2003
IEEE
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...
FAST
2010
13 years 8 months ago
2010
Latent sector errors (LSEs) refer to the situation where particular sectors on a drive become inaccessible. LSEs are a critical factor in data reliability, since a single LSE can ...
AO
2006
13 years 5 months ago
2006
in ontology is quite abstract and often based on toy-examples to the point that the gap between the work of theoreticians and the needs of real applications is too wide to be cross...