4341 search results - page 266 / 869 » Quantitative Model checking |
111
Voted
BIB
2007
15 years 1 months ago
2007
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
102
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
179
Voted
ASIASIM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Information security is a crucial technique for an organization to survive in these days. However, there is no integrated model to assess the security risk quantitatively...
77
Voted
SERA
2005
Springer
15 years 6 months ago
2005
Springer
This paper shows the feasibility of SQL/MDR development. Previous approach has several problems such as complicated exchanging mechanism, dependent description to local MDR system...
NIPS
2000
15 years 2 months ago
2000
In memory consolidation, declarative memories which initially require the hippocampus for their recall, ultimately become independent of it. Consolidation has been the focus of nu...