13489 search results - page 2417 / 2698 » Self-migration of operating systems |
210
click to vote
JCDL
2006
ACM
16 years 19 days ago
2006
ACM
Citation matching, or the automatic grouping of bibliographic references that refer to the same document, is a data management problem faced by automatic digital libraries for sci...
159
click to vote
PLDI
2006
ACM
16 years 19 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
217
click to vote
PODC
2006
ACM
16 years 19 days ago
2006
ACM
Byzantine agreement algorithms typically assume implicit initial state consistency and synchronization among the correct nodes and then operate in coordinated rounds of informatio...
181
click to vote
SACMAT
2006
ACM
16 years 19 days ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...
249
click to vote
ACSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
Using hypervisors or virtual machine monitors for security has become very popular in recent years, and a number of proposals have been made for supporting multi-level security on...