Information Management System of Automobile Chassis Dynamometer Based on Multi Agent Web Serve

2008 ◽  
Author(s):  
Long Guo ◽  
Hongli Wang
Keyword(s):  
Information Management ◽  
Management System ◽  
Information Management System ◽  
Chassis Dynamometer ◽  
Multi Agent

COBioSIFTER – A CORBA-Based Distributed Multi-Agent Biological Information Management System

2004 ◽  
Vol 7 (4) ◽  
pp. 373-389 ◽  
Author(s):  
Rajeev R. Raje ◽  
Daocheng Zhu ◽  
Snehasis Mukhopadhyay ◽  
Liying Tang ◽  
Mathew Palakal ◽  
...  
Keyword(s):  
Information Management ◽  
Management System ◽  
Information Management System ◽  
Biological Information ◽  
Multi Agent

Designing Multi-Agent Systems from Logic Specifications

2011 ◽  
pp. 1-27
Author(s):  
Hong Lin
Keyword(s):  
Information Management ◽  
Management System ◽  
Predicate Logic ◽  
Information Management System ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
First Order ◽  
Multi Agent ◽  
Program Construction

In this chapter a program construction method based on ?-Calculus is proposed. The problem to be solved is specified by first-order predicate logic and a semantic verification program is constructed directly from the specification. We exploit this method in synthesizing the architectural specifications of multi-agent systems (MAS) in ?-Calculus based on the logic specifications of the MAS. By enabling the transformation from the logic specifications to operational specifications of MAS, this method allows the design of the MAS to be focused on the architectural definition level. It benefits the development of MAS by enabling logic deduction on behaviors of the MAS, and a design methodology in an incremental fashion. We present this method by a case study of designing a course information management system.

Sign in / Sign up

Export Citation Format

Share Document