67 search results - page 14 / 14 » Programming as an Experience: The Inspiration for Self |
EUROCAST
2007
Springer
13 years 9 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
AI
1998
Springer
13 years 5 months ago
1998
Springer
Renewed motives for space exploration have inspired NASA to work toward the goal of establishing a virtual presence in space, through heterogeneous eets of robotic explorers. Info...