Search Sciweavers | Sciweavers

9018 search results - page 185 / 1804

» 3D-Brain Model Software

190

click to vote

ECBS
2007
IEEE

111views Hardware» more ECBS 2007»

Model-Based Empirical Performance Evaluation Based on Relational Traces

16 years 24 days 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 »

129

click to vote

FSTTCS
2007
Springer

107views Software Engineering» more FSTTCS 2007»

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

16 years 19 days ago

Download www.infsec.ethz.ch

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

claim paper

Read More »

137

click to vote

ISSRE
2005
IEEE

59views Software Engineering» more ISSRE 2005»

Modeling the Vulnerability Discovery Process

16 years 1 days ago

Download www.cs.colostate.edu

Omar H. Alhazmi, Yashwant K. Malaiya

claim paper

Read More »

133

click to vote

ISSRE
2005
IEEE

98views Software Engineering» more ISSRE 2005»

Markovian Modeling and Analysis of Internet Worm Propagation

16 years 1 days ago

Download www.orsj.or.jp

Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi

claim paper

Read More »

157

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

16 years 3 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers