It also recommended those traffic-directing computers continue to be operated by volunteers, organizations and corporations around the world rather than governments.
This seems to be an important conclusion of the study, which the summary failed to mention...
That would not be very helpful for finding grammar mistakes because of the halting problem...
Now if the specification language was recursive (i.e decidable) or better in the Chomsky hierarchy, then we could have something usable.
Cassini carries huygens, a land probe which will (hopefully) land on Titan on january 14th.
There is an interesting story on ieee spectrum about an engineer who prevented the mission from certain failure.
Slashdot Mirror
I was wondering... do most of you guys use windows?
Why wasn't firefox adopted earlier?
It also recommended those traffic-directing computers continue to be operated by volunteers, organizations and corporations around the world rather than governments.
This seems to be an important conclusion of the study, which the summary failed to mention...
That would not be very helpful for finding grammar mistakes because of the halting problem... Now if the specification language was recursive (i.e decidable) or better in the Chomsky hierarchy, then we could have something usable.
Cassini carries huygens, a land probe which will (hopefully) land on Titan on january 14th. There is an interesting story on ieee spectrum about an engineer who prevented the mission from certain failure.