Author: Ammar Attoui
Publisher: Springer Science & Business Media
ISBN: 1447104633
Category : Computers
Languages : en
Pages : 474
Book Description
A detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems. The book brings together the 3 key fields of current and future data-processing: distributed systems and applications, parallel scientific computing, and real-time and manufacturing systems. It covers the basic concepts and theories, methods, techniques and tools currently used in the specification and implementation of applications and contains many examples plus complete case studies.
Real-Time and Multi-Agent Systems
Author: Ammar Attoui
Publisher: Springer Science & Business Media
ISBN: 1447104633
Category : Computers
Languages : en
Pages : 474
Book Description
A detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems. The book brings together the 3 key fields of current and future data-processing: distributed systems and applications, parallel scientific computing, and real-time and manufacturing systems. It covers the basic concepts and theories, methods, techniques and tools currently used in the specification and implementation of applications and contains many examples plus complete case studies.
Publisher: Springer Science & Business Media
ISBN: 1447104633
Category : Computers
Languages : en
Pages : 474
Book Description
A detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems. The book brings together the 3 key fields of current and future data-processing: distributed systems and applications, parallel scientific computing, and real-time and manufacturing systems. It covers the basic concepts and theories, methods, techniques and tools currently used in the specification and implementation of applications and contains many examples plus complete case studies.
A Perspective on Agent Systems
Author: Krzysztof Cetnarowicz
Publisher: Springer
ISBN: 3319131974
Category : Technology & Engineering
Languages : en
Pages : 155
Book Description
This monograph presents the concept of agents and agent systems. It starts with a formal approach and then presents examples of practical applications. In order to form the principles of construction of autonomous agents, a model of the agent is introduced. Subsequent parts of the monograph include several examples of applications of the term agent. Descriptions of different examples of applications of agent systems in such fields as evolution systems, mobile robot systems, artificial intelligence systems are given. The book constitutes an outline of methodology of the design and realization of agent systems based on the M-agent architecture oriented on different areas of applications.
Publisher: Springer
ISBN: 3319131974
Category : Technology & Engineering
Languages : en
Pages : 155
Book Description
This monograph presents the concept of agents and agent systems. It starts with a formal approach and then presents examples of practical applications. In order to form the principles of construction of autonomous agents, a model of the agent is introduced. Subsequent parts of the monograph include several examples of applications of the term agent. Descriptions of different examples of applications of agent systems in such fields as evolution systems, mobile robot systems, artificial intelligence systems are given. The book constitutes an outline of methodology of the design and realization of agent systems based on the M-agent architecture oriented on different areas of applications.
Proceedings
Author:
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 742
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 742
Book Description
ETFA '95
Author:
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 742
Book Description
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 742
Book Description
Computers in Design, Manufacturing, and Production
Author: Alain Croisier
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 562
Book Description
Proceedings of the 7th Annual European Computer Conference (CompEuro 93), held in Paris, May 1993. The papers are organized into four tracks, each track being divided into several homogeneous sessions: automated manufacturing systems (modeling, maintenance, production system design and control, planning and scheduling); CAD/CAM (automated process planning, CAD, simulation and structured documentation, object oriented approach); machine control (inspection and vision systems, robot and process controllers, design of control systems, real time, motion planning and process control); and integration (flexible manufacturing systems, manufacturing database, information system and EDI, industrial networks). No index. Annotation copyright by Book News, Inc., Portland, OR.
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 562
Book Description
Proceedings of the 7th Annual European Computer Conference (CompEuro 93), held in Paris, May 1993. The papers are organized into four tracks, each track being divided into several homogeneous sessions: automated manufacturing systems (modeling, maintenance, production system design and control, planning and scheduling); CAD/CAM (automated process planning, CAD, simulation and structured documentation, object oriented approach); machine control (inspection and vision systems, robot and process controllers, design of control systems, real time, motion planning and process control); and integration (flexible manufacturing systems, manufacturing database, information system and EDI, industrial networks). No index. Annotation copyright by Book News, Inc., Portland, OR.
Comp Euro
Author:
Publisher:
ISBN:
Category : Computer engineering
Languages : en
Pages : 568
Book Description
Publisher:
ISBN:
Category : Computer engineering
Languages : en
Pages : 568
Book Description
Régulation Du Trafic Et Systèmes de Transport
Author: International Federation of Automatic Control
Publisher: North-Holland
ISBN:
Category : Law
Languages : en
Pages : 760
Book Description
Publisher: North-Holland
ISBN:
Category : Law
Languages : en
Pages : 760
Book Description
Conference Publication
Author:
Publisher:
ISBN:
Category : Electric power distribution
Languages : en
Pages : 864
Book Description
Publisher:
ISBN:
Category : Electric power distribution
Languages : en
Pages : 864
Book Description
Monitoring of Radioactive Effluents from Nuclear Facilities
Author: International Atomic Energy Agency
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 630
Book Description
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 630
Book Description
Proceedings of the Ninth Power Systems Computation Conference
Author: Power Systems Computation Conference (9, 1987, Cascais)
Publisher: Butterworth-Heinemann
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 1014
Book Description
Publisher: Butterworth-Heinemann
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 1014
Book Description