Sciweavers

ALIFE
2000
13 years 3 months ago
Open Problems in Artificial Life
This article lists fourteen open problems in artificial life, each of which is a grand challenge requiring a major advance on a fundamental issue for its solution. Each problem is ...
Mark A. Bedau, John S. McCaskill, Norman H. Packar...
JFR
2006
72views more  JFR 2006»
13 years 3 months ago
KAT-5: Robust systems for autonomous vehicle navigation in challenging and unknown terrain
Kat-5 was the fourth vehicle to make history in DARPA's 2005 Grand Challenge, where for the first time ever, autonomous vehicles were able to travel through 100 miles of roug...
Paul G. Trepagnier, Jorge Nagel, Powell M. Kinney,...
BMCBI
2006
145views more  BMCBI 2006»
13 years 3 months ago
GEM System: automatic prototyping of cell-wide metabolic pathway models from genomes
Background: Successful realization of a "systems biology" approach to analyzing cells is a grand challenge for our understanding of life. However, current modeling appro...
Kazuharu Arakawa, Yohei Yamada, Kosaku Shinoda, Yo...
CIDR
2007
84views Algorithms» more  CIDR 2007»
13 years 5 months ago
Public Health for the Internet (PHI)
Business incentives have brought us within a small factor of achieving the database community’s Grand Challenge set out in the Asilomar Report of 1998. This paper makes the case...
Joseph M. Hellerstein, Tyson Condie, Minos N. Garo...
EUROPAR
2003
Springer
13 years 8 months ago
The Verifying Compiler: A Grand Challenge for Computing Research
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the int...
C. A. R. Hoare
VSTTE
2005
Springer
13 years 9 months ago
Lessons from the JML Project
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
Gary T. Leavens, Curtis Clifton
VSTTE
2005
Springer
13 years 9 months ago
From the How to the What
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
Tiziana Margaria, Bernhard Steffen
ICSE
2005
IEEE-ACM
14 years 3 months ago
Research challenges of autonomic computing
Autonomic computing is a grand-challenge vision of the future in which computing systems will manage themselves in accordance with high-level objectives specified by humans. The I...
Jeffrey O. Kephart