10899 search results - page 599 / 2180 » The GP Programming System |
218
click to vote
CIS
2008
Springer
15 years 9 months ago
2008
Springer
Delivering continuous services in information infrastructures is a major challenge. For system or network administrators, redundancy allocation is one of the best strategies to en...
289
click to vote
WSC
2004
15 years 8 months ago
2004
Decision trees are one of the most easy to use tools in decision analysis. Problems where decision tree branches are based on random variables have not received much attention. Th...
194
click to vote
AICOM
2010
15 years 7 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
140
click to vote
IJET
2006
15 years 7 months ago
2006
One of the primary goals of undergraduate studies programs is to promote the professional and personal growth and success of their students. First year students, however, often suf...
196
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being com...