2663 search results - page 167 / 533 » How to Choose a Timing Model |
166
click to vote
APSEC
2005
IEEE
16 years 1 days ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
149
click to vote
WSC
2004
15 years 7 months ago
2004
In this research, we investigate how well Weibull, Gamma, and special bimodal distribution are suited as an alternative to the exponential distribution approach in the stochastic ...
163
click to vote
BROADNETS
2007
IEEE
16 years 23 days ago
2007
IEEE
—“War of the worms” is a war between opposing computer worms, creating complex worm interactions as well as detrimental impact on infrastructure. For example, in September 20...
164
click to vote
SPIRE
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Weighting models use lexical statistics, such as term frequencies, to derive term weights, which are used to estimate the relevance of a document to a query. Apart from t...
152
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...