Search Sciweavers | Sciweavers

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

claim paper

Read More »

104

click to vote

COMPUTER
2006

64views more COMPUTER 2006»

Can We Make Operating Systems Reliable and Secure?

15 years 6 months ago

Download www.cs.vu.nl

Andrew S. Tanenbaum, Jorrit N. Herder, Herbert Bos

claim paper

Read More »

123

click to vote

IJIS
2008

49views more IJIS 2008»

Applying aggregation operators for information access systems: An application in digital libraries

15 years 6 months ago

Download sci2s.ugr.es

Enrique Herrera-Viedma, Javier López Gij&oa...

claim paper

Read More »

107

click to vote

COMPSEC
2007

52views more COMPSEC 2007»

Information security in networkable Windows-based operating system devices: Challenges and solutions

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers