Search Sciweavers | Sciweavers

14824 search results - page 258 / 2965

» Security - Introduction

147

click to vote

OOPSLA
2004
Springer

119views Security Privacy» more OOPSLA 2004»

Ancestor worship in CS1: on the primacy of arrays

16 years 17 days ago

Download www.cse.buffalo.edu

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

claim paper

Read More »

139

click to vote

OOPSLA
2004
Springer

105views Security Privacy» more OOPSLA 2004»

PRISM is research in aSpect mining

16 years 17 days ago

Download www.eecg.toronto.edu

Charles Zhang, Hans-Arno Jacobsen

claim paper

Read More »

131

click to vote

SAFECOMP
2004
Springer

75views Security Privacy» more SAFECOMP 2004»

The Deconstruction of Safety Arguments Through Adversarial Counter-Argument

16 years 17 days ago

Download www.cs.ncl.ac.uk

James M. Armstrong, Stephen Paynter

claim paper

Read More »

171

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 17 days ago

Download www.uni-ulm.de

Holger Pfeifer, Friedrich W. von Henke

claim paper

Read More »

150

click to vote

SPW
2004
Springer

148views Security Privacy» more SPW 2004»

A Cryptographic Framework for the Controlled Release of Certified Data

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers