Agent-Oriented Integration of Distributed Mathematical Services

Andreas Franke; Stephan M. Hess; Christoph Jung; Michael Kohlhase; Volker Sorge

首页> 外文期刊>Journal of Universal Computer Science >Agent-Oriented Integration of Distributed Mathematical Services

【24h】

Agent-Oriented Integration of Distributed Mathematical Services

机译：面向代理的分布式数学服务集成

获取原文

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Real-world applications of automated theorem proving require modern software environments that enable modularisation, networked inter-operability, robustness, and scalability. These requirements are met by the Agent-Oriented Programming paradigm of Distri

机译：自动定理证明的实际应用需要现代化的软件环境，这些环境必须能够实现模块化，网络化的互操作性，鲁棒性和可伸缩性。这些要求可以通过Distri的面向代理编程范例来满足

著录项

来源
《Journal of Universal Computer Science》 |1999年第3期|共32页
作者
Andreas Franke; Stephan M. Hess; Christoph Jung; Michael Kohlhase; Volker Sorge;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Information and Service Integration Based on Agent-Oriented Ubiquitous Computing [J] . Phan Cong Vinh Mobile networks & applications . 2014,第2期

机译：基于面向代理的泛在计算的信息与服务集成
2. Comparing Service-Oriented Computing and Agent-Oriented Programming towards integration [J] . Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani, Web Intelligence and Agent Systems . 2011,第2期

机译：将面向服务的计算和面向代理的编程进行集成比较
3. Autonomous Integration and Optimal Allocation of Heterogeneous Information Services for High-Assurance in Distributed Information Service System [J] . Xiaodong LU, Kinji MORI IEICE Transactions on Information and Systems . 2003,第10期

机译：分布式信息服务系统中高度保证的异构信息服务的自治集成和优化分配
4. Tackling complexity of distributed systems: Towards an integration of service-oriented computing and agent-oriented programming [C] . Cabri Giacomo, Leonardi Letizia, Quitadamo Raffaele International Multiconference on Computer Science and Information Technology . 2008

机译：解决分布式系统的复杂性：朝着面向服务的计算和面向代理的编程的集成
5. Enterprise application integration in distributed computing environment using service oriented architecture with Web services. [D] . Barwat, Anup. 2007

机译：使用面向服务的体系结构和Web服务在分布式计算环境中进行企业应用程序集成。
6. Integration of Distributed Services and Hybrid Models Based on Process Choreography to Predict and Detect Type 2 Diabetes [O] . Antonio Martinez-Millana, Jose-Luis Bayo-Monton, María Argente-Pla, 2018

机译：基于流程编排的分布式服务和混合模型的集成以预测和检测2型糖尿病
7. DATA INTEGRATION MODEL DESIGN FOR SUPPORTING DATA CENTER PATIENT SERVICES DISTRIBUTED INSURANCE PURCHASE WITH VIEW BASED DATA INTEGRATION [O] . Slamet Sudaryanto Nurhendratno, Sudaryanto Sudaryanto 2018

机译：支持数据中心患者服务的数据集成模型设计分布式保险采购，基于视图的数据集成
8. Heterogeneous Database Integration Using Agent-Oriented Information Systems [R] . McDonald, J. T. , Talbert, M. L. , DeLoach, S. A. 2000

机译：使用面向agent的信息系统进行异构数据库集成

Agent-Oriented Integration of Distributed Mathematical Services

摘要

著录项

相似文献

相关主题

期刊订阅