1054 search results - page 29 / 211 » From a Verified Kernel towards Verified Systems |
IWANN
2007
Springer
15 years 8 months ago
2007
Springer
Approximately 50% of all patients with intraocular melanoma die of metastatic disease, despite successful treatment of the primary tumour. The main factors associated with mortalit...
118
click to vote
I3E
2009
14 years 11 months ago
2009
Abstract. Online advertising is a major economic force in the Internet today. A basic goal of any advertising system is to accurately target the ad to the recipient audience. While...
119
click to vote
ENTCS
2008
15 years 2 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
109
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Kernel rootkits have posed serious security threats due to their stealthy manner. To hide their presence and activities, many rootkits hijack control flows by modifying control d...
130
click to vote
CLUSTER
2001
IEEE
15 years 5 months ago
2001
IEEE
The Virtual Interface Architecture (VIA) is an industry standard user-level communication architecture for system area networks. The VIA provides a protected, directlyaccessible i...