Search Sciweavers | Sciweavers

9006 search results - page 42 / 1802

» Modeling Software

click to vote

ISSRE
2008
IEEE

101views Software Engineering» more ISSRE 2008»

Vulnerability Discovery Modeling Using Weibull Distribution

14 years 4 months ago

Download www.cs.colostate.edu

HyunChul Joh, Jinyoo Kim, Yashwant K. Malaiya

claim paper

Read More »

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

14 years 4 months ago

Download www.carstensinz.de

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...

claim paper

Read More »

click to vote

SEFM
2008
IEEE

112views Software Engineering» more SEFM 2008»

Ontology-Based Automatic Model Transformations

14 years 4 months ago

Download www.mendeley.com

Kurt Geihs, Philipp A. Baer, Roland Reichle, Jens ...

claim paper

Read More »

click to vote

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

14 years 4 months ago

Download homepages.cwi.nl

Shuling Wang, Luís Soares Barbosa, Jos&eacu...

claim paper

Read More »

click to vote

ASWEC
2007
IEEE

112views Software Engineering» more ASWEC 2007»

Benchmark Generation Using Domain Specific Modeling

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers