13985 search results - page 2176 / 2797 » Active Feature Models |
193
click to vote
ITIIS
2010
15 years 5 months ago
2010
There is a well-defined propagation model, named the random constant spread (RCS) model, which explains worms that spread their clones with a random scanning strategy. This model ...
234
click to vote
LATA
2010
Springer
15 years 5 months ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
224
click to vote
PAMI
2010
15 years 5 months ago
2010
—A new formulation for multiway spectral clustering is proposed. This method corresponds to a weighted kernel principal component analysis (PCA) approach based on primal-dual lea...
223
click to vote
SCP
2010
15 years 5 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
193
click to vote
STTT
2010
15 years 5 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...