14244 search results - page 2431 / 2849 » Modeling Program Predictability |
109
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
131
click to vote
ARCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...
147
click to vote
ASIASIM
2004
Springer
15 years 9 months ago
2004
Springer
A network security simulator becomes more useful for the study on the cyber incidents and their defense mechanisms, as cyber terrors have been increasingly popular. Until now, netw...
134
click to vote
AUSAI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we propose a new neighborhood structure based on the improvement graph for solving the Robust Graph Coloring Problem, an interesting extension of classical graph col...
131
click to vote
CP
2004
Springer
15 years 9 months ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...