Search Sciweavers | Sciweavers

14824 search results - page 220 / 2965

» Security - Introduction

172

click to vote

ISSE
2010

118views Security Privacy» more ISSE 2010»

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

15 years 5 months ago

Download www.inf.ufes.br

Bernardo F. B. Braga, João Paulo A. Almeida...

claim paper

Read More »

click to vote

OOPSLA
2010
Springer

97views Security Privacy» more OOPSLA 2010»

SPUR: a trace-based JIT compiler for CIL

15 years 5 months ago

Download research.microsoft.com

Michael Bebenita, Florian Brandner, Manuel Fä...

claim paper

Read More »

125

click to vote

OOPSLA
2010
Springer

145views Security Privacy» more OOPSLA 2010»

Collaboration

15 years 5 months ago

Download www.objectmentor.com

Steven Fraser, Hannah Faye Chua, Gail Harris, Orit...

claim paper

Read More »

157

click to vote

SP
2010
IEEE

179views Security Privacy» more SP 2010»

TrustVisor: Efficient TCB Reduction and Attestation

15 years 5 months ago

Download quning.org

Jonathan M. McCune, Yanlin Li, Ning Qu, Zongwei Zh...

claim paper

Read More »

128

click to vote

ACSAC
2010
IEEE

241views Security Privacy» more ACSAC 2010»

Hardware assistance for trustworthy systems through 3-D integration

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers