Search Sciweavers | Sciweavers

9018 search results - page 185 / 1804

» 3D-Brain Model Software

135

click to vote

ECBS
2007
IEEE

111views Hardware» more ECBS 2007»

Model-Based Empirical Performance Evaluation Based on Relational Traces

15 years 9 months ago

Download se.informatik.uni-oldenburg.de

Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...

Marko Boskovic

claim paper

Read More »

Voted

FSTTCS
2007
Springer

107views Software Engineering» more FSTTCS 2007»

Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths

15 years 9 months ago

Download www.infsec.ethz.ch

Matthias Schmalz, Hagen Völzer, Daniele Varac...

claim paper

Read More »

click to vote

ISSRE
2005
IEEE

59views Software Engineering» more ISSRE 2005»

Modeling the Vulnerability Discovery Process

15 years 9 months ago

Download www.cs.colostate.edu

Omar H. Alhazmi, Yashwant K. Malaiya

claim paper

Read More »

click to vote

ISSRE
2005
IEEE

98views Software Engineering» more ISSRE 2005»

Markovian Modeling and Analysis of Internet Worm Propagation

15 years 9 months ago

Download www.orsj.or.jp

Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi

claim paper

Read More »

111

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers