Search Sciweavers | Sciweavers

15727 search results - page 504 / 3146

» Software Engineering - Introduction

170

click to vote

ESSOS
2010
Springer

160views Software Engineering» more ESSOS 2010»

Model-Driven Security Policy Deployment: Property Oriented Approach

16 years 3 months ago

Download deic.uab.es

Stere Preda, Nora Cuppens-Boulahia, Fréd&ea...

claim paper

Read More »

131

click to vote

ISPASS
2010
IEEE

174views Software Engineering» more ISPASS 2010»

Incorporating Instruction-Based Sampling into AMD CodeAnalyst

16 years 1 months ago

Download developer.amd.com

Paul J. Drongowski, Lei Yu, Frank Swehosky, Surave...

claim paper

Read More »

144

click to vote

APSEC
2009
IEEE

126views Software Engineering» more APSEC 2009»

Test Coverage Metric for Two-Staged Language with Abstract Interpretation

16 years 1 months ago

Download rosaec.snu.ac.kr

Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik,...

claim paper

Read More »

126

Voted

CGO
2009
IEEE

116views Software Engineering» more CGO 2009»

Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency

16 years 1 months ago

Download perso.ens-lyon.fr

Benoit Boissinot, Alain Darte, Fabrice Rastello, B...

claim paper

Read More »

117

click to vote

FASE
2009
Springer

108views Software Engineering» more FASE 2009»

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers