Sciweavers

9018 search results - page 185 / 1804
» 3D-Brain Model Software
Sort
View
ECBS
2007
IEEE
111views Hardware» more  ECBS 2007»
15 years 9 months ago
Model-Based Empirical Performance Evaluation Based on Relational Traces
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
92
Voted
FSTTCS
2007
Springer
15 years 9 months ago
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths
Matthias Schmalz, Hagen Völzer, Daniele Varac...
ISSRE
2005
IEEE
15 years 9 months ago
Modeling the Vulnerability Discovery Process
Omar H. Alhazmi, Yashwant K. Malaiya
ISSRE
2005
IEEE
15 years 9 months ago
Markovian Modeling and Analysis of Internet Worm Propagation
Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi
FOSSACS
2005
Springer
15 years 8 months ago
Model Checking Durational Probabilistic Systems
François Laroussinie, Jeremy Sproston