Search Sciweavers | Sciweavers

14824 search results - page 258 / 2965

» Security - Introduction

137

click to vote

OOPSLA
2004
Springer

119views Security Privacy» more OOPSLA 2004»

Ancestor worship in CS1: on the primacy of arrays

16 years 20 hour ago

Download www.cse.buffalo.edu

Phil Ventura, Christopher A. Egert, Adrienne Decke...

claim paper

Read More »

129

click to vote

OOPSLA
2004
Springer

105views Security Privacy» more OOPSLA 2004»

PRISM is research in aSpect mining

16 years 20 hour ago

Download www.eecg.toronto.edu

Charles Zhang, Hans-Arno Jacobsen

claim paper

Read More »

124

click to vote

SAFECOMP
2004
Springer

75views Security Privacy» more SAFECOMP 2004»

The Deconstruction of Safety Arguments Through Adversarial Counter-Argument

16 years 16 hour ago

Download www.cs.ncl.ac.uk

James M. Armstrong, Stephen Paynter

claim paper

Read More »

156

click to vote

SAFECOMP
2004
Springer

73views Security Privacy» more SAFECOMP 2004»

Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture

16 years 16 hour ago

Download www.uni-ulm.de

Holger Pfeifer, Friedrich W. von Henke

claim paper

Read More »

137

click to vote

SPW
2004
Springer

148views Security Privacy» more SPW 2004»

A Cryptographic Framework for the Controlled Release of Certified Data

16 years 14 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers