Sciweavers

144 search results - page 11 / 29
» A descriptive study of Microsoft's threat modeling technique
Sort
View
FM
2003
Springer
115views Formal Methods» more  FM 2003»
14 years 24 days ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
BIB
2006
84views more  BIB 2006»
13 years 7 months ago
Computational methodologies for modelling, analysis and simulation of signalling networks
This article is a critical review of computational techniques used to model, analyse and simulate signalling networks. We propose a conceptual framework, and discuss the role of s...
David R. Gilbert, Hendrik Fuß, Xu Gu, Richar...
JSW
2007
97views more  JSW 2007»
13 years 7 months ago
Instantiation of a Classification System Framework that Facilitates Reuse
Abstract—Frameworks are a key technology to reduce software development costs and shorten the time-to-market. However, framework complexity presents reuse problems that limit its...
Sérgio F. Lopes, Adriano Tavares, Joã...
WSC
2004
13 years 9 months ago
A Generalized Multiple Response Surface Methodology for Complex Computer Simulation Applications
This work provides a generalization of the traditional response surface methodology (RSM) that can be applied to complex, multi-objective simulation studies. These problems involv...
Jeffrey B. Schamburg, Donald E. Brown
SIAMMA
2010
66views more  SIAMMA 2010»
13 years 2 months ago
On a Nonlocal Reaction-Diffusion Problem Arising from the Modeling of Phytoplankton Growth
In this paper we analyze a nonlocal reaction-diffusion model which arises from the modeling of competition of phytoplankton species with incomplete mixing in a water column. The no...
Yihong Du, Sze-Bi Hsu