AI Working Papers (1971 - 1995): Recent submissions
Now showing items 172-174 of 291
-
Security and Modularity in Message Passing
(MIT Artificial Intelligence Laboratory, 1979-02)This paper addresses theoretical issues involved for the implementation of security and modularity in concurrent systems. It explicates the theory behind a mechanism for safely delegating messages to shared handlers in ... -
Concurrent Systems Need Both Sequences And Serializers
(MIT Artificial Intelligence Laboratory, 1979-02)Contemporary concurrent programming languages fall roughly into two classes. Languages in the first class support the notion of a sequence of values and some kind of pipelining operation over the sequence of values. Languages ... -
The XPRT Description System
(MIT Artificial Intelligence Laboratory, 1979-01)This paper introduces a frame-based description language and studies methods for reasoning about problems using knowledge expressed in the language. The system is based on the metaphor of a society of communicating experts ...


