All Outputs (2)

The information retrieval facilities of Generis, a knowledge base management system. (1989)
Presentation / Conference Contribution
Kennedy, J., & Crerar, A. (1989). The information retrieval facilities of Generis, a knowledge base management system. In Proceedings of the 11th BCS IRSG Research Colloquium on Information Retrieval (16-25)

The authors have been working closely with Deductive Systems Ltd. (DSL) in beta testing Generis, a new KBMS product. The paper focuses on Generis' document management facilities which offer a potentially powerful mechanism for automatic indexing, key... Read More about The information retrieval facilities of Generis, a knowledge base management system..

Design, abstract data types and occam (1989)
Presentation / Conference Contribution
Kerridge, J., Wright, S., & Oates, R. (1989). Design, abstract data types and occam. In Applying Transputer Based Parallel Machines: OUG-10, proceedings of the 10th Occam User Group Technical Meeting (29-45)

A design methodology is presented whereby abstract data types are mapped onto occam processes. For each function a command and reply protocol is specified. Attention is paid to the formal specification. The method may be useful in obtaining a paralle... Read More about Design, abstract data types and occam.