752 search results - page 78 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
122
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
We present a load generator and performance measurement tool (AutoPerf ) which requires minimal input and configuration from the user, and produces a comprehensive capacity analys...
160
Voted
SIGMETRICS
2003
ACM
15 years 8 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
160
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Causal networks based on the vector autoregressive (VAR) process are a promising statistical tool for modeling regulatory interactions in a cell. However, learning the...
142
Voted
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...
132
Voted
JCSS
2007
15 years 3 months ago
2007
In distributed real-time systems, an application is often modeled as a set of real-time transactions, where each transaction is a chain of precedence-constrained tasks. Each task ...