artificial intelligence bob frankston charles babbage institute compatible time-sharing system darpa edward fredkin ethernet general electric gerald jay sussman hal abelson high availability information sciences institute internet mit computer science and artificial intelligence laboratory maclisp marvin minsky massachusetts institute of technology multics national science foundation operating system project genie research laboratory of electronics at mit robert fano scientific american spreadsheet stanford artificial intelligence laboratory theory of computation time-sharing university of southern california utility computing visicalc