77016 search results - page 694 / 15404 » Modelling |
178
click to vote
BIRTHDAY
2005
Springer
16 years 29 days ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
156
click to vote
CP
2005
Springer
16 years 29 days ago
2005
Springer
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
188
click to vote
ECMDAFA
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. A software product line comprises a set of products implementing different configurations of features. The set of valid feature configurations within a product line ca...
185
Voted
FOSSACS
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
171
click to vote
GECCO
2005
Springer
16 years 29 days ago
2005
Springer
Using a dynamic systems model for the Simple Genetic Algorithm due to Vose[1], we analyze the fixed point behavior of the model without crossover applied to functions of unitation...