Search Sciweavers | Sciweavers

14824 search results - page 135 / 2965

» Security - Introduction

141

click to vote

OOPSLA
2000
Springer

83views Security Privacy» more OOPSLA 2000»

Improving the Java memory model using CRF

15 years 10 months ago

Download www.cs.umd.edu

Jan-Willem Maessen, Arvind, Xiaowei Shen

claim paper

Read More »

121

click to vote

SPW
2000
Springer

68views Security Privacy» more SPW 2000»

Making Sense of Specifications: The Formalization of SET

15 years 10 months ago

Download www.ing.unitn.it

Giampaolo Bella, Fabio Massacci, Lawrence C. Pauls...

claim paper

Read More »

124

click to vote

OOPSLA
1995
Springer

85views Security Privacy» more OOPSLA 1995»

Sound Polymorphic Type Inference for Objects

15 years 10 months ago

Download www.cs.jhu.edu

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

claim paper

Read More »

146

click to vote

SP
1991
IEEE

85views Security Privacy» more SP 1991»

A Pattern-Oriented Intrusion-Detection Model and Its Applications

15 years 10 months ago

Download www.syros.aegean.gr

Shiuh-Pyng Shieh, Virgil D. Gligor

claim paper

Read More »

114

click to vote

SP
1987
IEEE

48views Security Privacy» more SP 1987»

Toward Verified Execution Environments

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers