Cover Image

Real-Time and Multi-Agent Systems /

Show other versions (1)

This book provides 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. Real-Time and Multi-Agent Systems brings together the 3 key fields of current and future data-pr...

Full description

Bibliographic Details
Main Author: Attoui, Ammar
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: London : Springer London : Imprint : Springer, 2000.
Series:Practitioner series.
Subjects:
Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers)
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • From the contents: Problems Encountered with Distributed Systems
  • Interaction Models
  • PVM, Parallel Programming Tools
  • Distributed Programming Under UNIX
  • Principles of Real-Time Data Processing
  • Prolog III and Real-Time System Engineering
  • Parallel Image Processing
  • Client-Server Applications under UNIX
  • Control of a Product Processing Chain
  • A Persistent Object Management System. The complete table of contents can be found on the Internet: http://www.springer.de.