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

Similar Items

Real-time and multi-agent systems /
by: Attoui, Ammar, 1957-
Published: (2000)

Opportunities and Constraints of Parallel Computing /
by: Sanz, Jorge L. C.
Published: (1989)

Artificial Intelligence-based Internet of Things Systems /
Published: (2022)

Deadline Scheduling for Real-Time Systems : EDF and Related Algorithms /
by: Stankovic, John A.
Published: (1998)

Real-time embedded systems : design principles and engineering practices /
by: Fan, Xiaocong
Published: (2015)

Smart card research and advanced applications : 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011 : revised selected papers /
Published: (2011)

Guide to Computer Processor Architecture : A RISC-V Approach, with High-Level Synthesis /
by: Goossens, Bernard
Published: (2023)

TRON Project 1989 : Open-Architecture Computer Systems /
by: Sakamura, Ken
Published: (1989)

TRON Project 1990 : Open-Architecture Computer Systems /
by: Sakamura, Ken
Published: (1990)

Real-Time Systems : Design Principles for Distributed Embedded Applications /
by: Kopetz, Hermann, et al.
Published: (2022)

Real-time embedded systems : design principles and engineering practices /
by: Fan, Xiaocong
Published: (2015)

DCE - The OSF Distributed Computing Environment, Client/Server Model and Beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993. Proceedings /
by: Schill, Alexander
Published: (1993)

PARLE '89 - Parallel Architectures and Languages Europe : Volume II: Parallel Languages, Eindhoven, the Netherlands, June 12-16, 1989; Proceedings /
by: Odijk, E. (Eddy)
Published: (1989)

Reliable Software Technologies - Ada Europe 96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings /
by: Strohmeier, Alfred, 1946-
Published: (1996)

Specification and Analysis of Concurrent Systems : the COSY Approach /
by: Janicki, Ryszard
Published: (1992)

Real-time embedded systems : open-source operating systems perspective /
by: Bertolotti, Ivan Cibrario
Published: (2012)

Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings /
Published: (2022)

PARLE '91. Parallel Architectures and Languages Europe : Volume II: Parallel Languages. Eindhoven, the Netherlands, June 10-13, 1991. Proceedings /
by: Aarts, E. H. L. (Emile H. L.)
Published: (1991)

PARLE '91. Parallel Architectures and Languages Europe : Volume I: Parallel Architectures and Algorithms. Eindhoven, the Netherlands, June 10-13, 1991. Proceedings /
by: Aarts, E. H. L. (Emile H. L.)
Published: (1991)

Parle '91 Parallel Architectures and Languages Europe : Volume I: Parallel Architectures and Algorithms Eindhoven, the Netherlands, June 10-13, 1991 Proceedings.
Published: (1987)

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems /
by: Thoen, Filip
Published: (2000)

PRIMA 2022: Principles and Practice of Multi-Agent Systems : 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings /
Published: (2023)

Embedded systems /
by: Kothari, D. P. (Dwarkadas Pralhaddas), 1944-
Published: (2015)

Past, Present, Parallel : a Survey of Available Parallel Computer Systems /
by: Trew, Arthur
Published: (1991)

Machine Learning for Cyber-Physical Systems : Selected papers from the International Conference ML4CPS 2023 /
Published: (2024)

LAN operating systems /
Published: (1993)

Performance Evaluation, Prediction and Visualization of Parallel Systems /
by: Wu, Xingfu
Published: (1999)

Agent Technology : Foundations, Applications, and Markets /
by: Jennings, Nick
Published: (1998)

Understanding Agent Systems /
by: D'Inverno, Mark
Published: (2004)

Dependable Network Computing /
by: Avresky, Dimiter R.
Published: (2000)

High Performance Computing Systems and Applications /
by: Schaeffer, Jonathan
Published: (1998)

Time-Constrained Transaction Management : Real-Time Constraints in Database Transaction Systems /
by: Soparkar, Nandit R.
Published: (1996)

IBM Storage Fusion HCI System : Metro Sync Disaster Recovery Use Case /
by: Singh, Pallavi, et al.
Published: (2023)

Interaction between Compilers and Computer Architectures /
by: Lee, Gyungho
Published: (2001)

Distributed Infrastructure Support for Electronic Commerce Applications /
by: Jacobsen, Hans-Arno
Published: (2004)

Heterogeneous Network Quality of Service Systems /
by: Schmitt, Jens Burkhard
Published: (2001)

Patterns for time-triggered embedded systems : building reliable applications with the 8051 family of microcontrollers /
by: Pont, Michael J.
Published: (2001)

Constructing Predictable Real Time Systems /
by: Halang, Wolfgang A.
Published: (1991)

Integrated system-level modeling of network-on-chip enabled multi-processor platforms /
by: Kogel, Tim
Published: (2006)

Synchronization in Real-Time Systems : a Priority Inheritance Approach /
by: Rajkumar, Ragunathan
Published: (1991)