Search Sciweavers | Sciweavers

9018 search results - page 61 / 1804

» 3D-Brain Model Software

110

click to vote

ISPW
2008
IEEE

74views Software Engineering» more ISPW 2008»

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

16 years 18 days ago

Download www.icsp-conferences.org

He Zhang, D. Ross Jeffery, Liming Zhu

claim paper

Read More »

132

click to vote

ISSRE
2008
IEEE

101views Software Engineering» more ISSRE 2008»

Vulnerability Discovery Modeling Using Weibull Distribution

16 years 18 days ago

Download www.cs.colostate.edu

HyunChul Joh, Jinyoo Kim, Yashwant K. Malaiya

claim paper

Read More »

138

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

16 years 17 days ago

Download www.carstensinz.de

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

claim paper

Read More »

127

click to vote

SEFM
2008
IEEE

112views Software Engineering» more SEFM 2008»

Ontology-Based Automatic Model Transformations

16 years 17 days ago

Download www.mendeley.com

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

claim paper

Read More »

114

click to vote

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers