Sciweavers

3031 search results - page 441 / 607
» Virtual development center
Sort
View
COMPSEC
2008
113views more  COMPSEC 2008»
15 years 6 months ago
Automated containment of rootkits attacks
Abstract-- Rootkit attacks are a serious threat to computer systems. Packaged with other malware such as worms, viruses and spyware, rootkits pose a more potent threat than ever be...
Arati Baliga, Liviu Iftode, Xiaoxin Chen
CORR
2008
Springer
132views Education» more  CORR 2008»
15 years 6 months ago
Trading GRH for algebra: algorithms for factoring polynomials and related structures
Abstract. In this paper we develop a general technique to eliminate the assumption of the Generalized Riemann Hypothesis (GRH) from various deterministic polynomial factoring algor...
Gábor Ivanyos, Marek Karpinski, Lajos R&oac...
ENTCS
2008
94views more  ENTCS 2008»
15 years 6 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
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...
Hendrik Tews, Tjark Weber, Marcus Völp
COMPSEC
2006
141views more  COMPSEC 2006»
15 years 6 months ago
Comparing Java and .NET security: Lessons learned and missed
Many systems execute untrusted programs in virtual machines (VMs) to limit their access to system resources. Sun introduced the Java VM in 1995, primarily intended as a lightweigh...
Nathanael Paul, David Evans
HIJ
2006
89views more  HIJ 2006»
15 years 6 months ago
Extending the role of a healthcare digital library environment to support orthopaedic research
A digital archive, together with its users and its contents, does not exist in isolation - there is a cycle of activities which provides the context for the archive's existen...
Timothy Miles-Board, Leslie Carr, Gary B. Wills, G...