Titlebook: Distributed Environments; Software Paradigms a Yutaka Ohno,Toshiko Matsuda Book 1991 Springer-Verlag Tokyo 1991 Natural.Processing.Verteilt

TOM

影响带来

A Qualitative Quantitative Simulator Based on Constraint Logic Programming behaviors that match given numerical data. Second, two behaviors produced by different perturbations are comparable for desired analyses. Third, QQS obtains qualitative descriptions that correspond to the interpretations of numerical data. Since these facilities are provided within a constraint-ori

迁移

chondromalacia

A User-Friendly Software Environment for Designing and Verifying Communication Protocolsty of a specification language expression is much superior to that of a verification expression based on reachability analysis. For this reason, we give a procedure for directly reflecting the results of verification on a specification language, into an expression for verification. Our user-friendly

言行自由

An Object-Oriented Native-Language Support for the Andrew Toolkitt native-language processing without any modification..In this paper, we will describe the design of the native-language support and data model, and discuss the advantages of our idea, through the experimental development of a native-language processing application, and the extension of an existing

FICE

薄荷醇

Implementation of an Object-Oriented Concurrent Programming Language on a Multiprocessor System be a minimal extension to COB. The main feature of its runtime system is that it has a two-layered structure. The first layer provides concurrency of objects and communication between them. The second layer provides extra functions, such as memory management, based on the first layer. Results of an evaluation of the runtime system are discussed.

加入

割公牛膨胀

nto software development techniques, including new languages and communication software, in the network environment. This book contains the results of a joint research project between IBM Japan and twelve universities, the purpose of which was to implement prototypes of some of the technologies that

Inculcate