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

只看該作者 · 發(fā)表于 2025-3-23 13:55:50

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

只看該作者 · 發(fā)表于 2025-3-23 20:46:10

只看該作者 · 發(fā)表于 2025-3-23 22:32:10

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

只看該作者 · 發(fā)表于 2025-3-24 03:46:50

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

只看該作者 · 發(fā)表于 2025-3-24 09:15:35

只看該作者 · 發(fā)表于 2025-3-24 11:51:23

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.

只看該作者 · 發(fā)表于 2025-3-24 15:34:33

只看該作者 · 發(fā)表于 2025-3-24 22:50:15

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

只看該作者 · 發(fā)表于 2025-3-25 01:50:26

		自動登錄	找回密碼
密碼			To register

關(guān)于派博傳思			派博傳思旗下網(wǎng)站			友情鏈接
派博傳思介紹	公司地理位置	論文服務(wù)流程	影響因子官網(wǎng)	吾愛論文網(wǎng)	大講堂	北京大學(xué)	Oxford Uni.	Harvard Uni.
發(fā)展歷史沿革	期刊點評	投稿經(jīng)驗總結(jié)	SCIENCEGARD	IMPACTFACTOR	派博系數(shù)	清華大學(xué)	Yale Uni.	Stanford Uni.
\|Archiver\|手機(jī)版\|小黑屋\| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-25 06:41
Copyright © 2001-2015 派博傳思京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved