12183 search results - page 2304 / 2437 » Computers under Attacks! |
155
click to vote
CCS
2009
ACM
16 years 28 days ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
238
Voted
EDBT
2009
ACM
16 years 28 days ago
2009
ACM
As information networks become ubiquitous, extracting knowledge from information networks has become an important task. Both ranking and clustering can provide overall views on in...
189
click to vote
EDBT
2009
ACM
16 years 28 days ago
2009
ACM
Keyword searches are attractive because they facilitate users searching structured databases. On the other hand, tag clouds are popular for navigation and visualization purposes o...
164
click to vote
EDBT
2009
ACM
16 years 28 days ago
2009
ACM
In this work we concentrate on categorization of relational attributes based on their data type. Assuming that attribute type/characteristics are unknown or unidentifiable, we an...
150
click to vote
VMCAI
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...