19003 search results - page 149 / 3801 » We Need Assurance! |
EUROCAST
2005
Springer
14 years 2 months ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...
ISSAC
2007
Springer
14 years 3 months ago
2007
Springer
Consider a rational matrix, particularly one whose entries have large numerators and denominators, but which is presented as a product of very sparse matrices with relatively smal...
ISESE
2006
IEEE
14 years 3 months ago
2006
IEEE
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
The Internet Chess Club (ICC) is a popular online chess server with more than 30,000 members worldwide including various celebrities and the best chess players in the world. Altho...
GI
2005
Springer
14 years 2 months ago
2005
Springer
: This is an ongoing project, which is scheduled until 2005. So I decided together with Richard Wang to set up Sup-Projects that could be published earlier. The main objective is t...