7009 search results - page 95 / 1402 » Patterns in Complex Systems Modeling |
CMSB
2006
Springer
14 years 27 days ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
SIGIR
2006
ACM
14 years 3 months ago
2006
ACM
We present a novel framework for answering complex questions that relies on question decomposition. Complex questions are decomposed by a procedure that operates on a Markov chain...
MASCOTS
2004
13 years 10 months ago
2004
Queueing models are routinely used to analyze the performance of software systems. However, contrary to common assumptions, the time that a software server takes to complete jobs ...
IWIA
2006
IEEE
14 years 3 months ago
2006
IEEE
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper proposes a low-complexity model for vertical antenna radiation patterns, e.g. for inclusion in systemlevel simulations. They can be seen as extensions to the horizon...