495 search results - page 25 / 99 » Modeling the Vulnerability Discovery Process |
ENTCS
2008
13 years 7 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
FLAIRS
2009
13 years 5 months ago
2009
This paper introduces an information theoretic approach to verification of modular causal probabilistic models. We assume systems which are gradually extended by adding new functi...
IEEEARES
2009
IEEE
14 years 2 months ago
2009
IEEE
—Security management is about calculated risk and requires continuous evaluation to ensure cost, time and resource effectiveness. Parts of which is to make future-oriented, costb...
WEBI
2004
Springer
14 years 1 months ago
2004
Springer
As the amount of available data continues to increase, more and more effective means for discovering important patterns and relationships within that data are required. Although t...
DIS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper proposes initial steps towards a generic framework for modeling the scientific process. It is generic according to two main axes. First, it can be instantiated...