Search Sciweavers | Sciweavers

9018 search results - page 61 / 1804

» 3D-Brain Model Software

click to vote

ISPW
2008
IEEE

74views Software Engineering» more ISPW 2008»

Hybrid Modeling of Test-and-Fix Processes in Incremental Development

14 years 5 months ago

Download www.icsp-conferences.org

He Zhang, D. Ross Jeffery, Liming Zhu

claim paper

Read More »

click to vote

ISSRE
2008
IEEE

101views Software Engineering» more ISSRE 2008»

Vulnerability Discovery Modeling Using Weibull Distribution

14 years 5 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 5 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 5 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 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers