Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Approaches to Agent-Based Systems
  • Produktbild: Formal Approaches to Agent-Based Systems
Band 3228

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.01.2005

Abbildungen

VIII, 291 p.

Herausgeber

Michael G. Hinchey + weitere

Verlag

Springer Berlin

Seitenzahl

291

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

464 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-24422-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.01.2005

Abbildungen

VIII, 291 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

291

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

464 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-24422-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Approaches to Agent-Based Systems
  • Produktbild: Formal Approaches to Agent-Based Systems
  • Ecology Based Decentralized Agent Management System.- Ecology Based Decentralized Agent Management System.- From Abstract to Concrete Norms in Agent Institutions.- Meeting the Deadline: Why, When and How.- Multi-agent Systems Reliability, Fuzziness, and Deterrence.- Formalism Challenges of the Cougaar Model Driven Architecture.- Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems.- Using Ontologies to Formalize Services Specifications in Multi-agent Systems.- Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance.- A Formal Analysis of Potential Energy in a Multi-agent System.- Agent-Based Chemical Plume Tracing Using Fluid Dynamics.- Towards Timed Automata and Multi-agent Systems.- An Approach to V&V of Embedded Adaptive Systems.- Verifying Multi-agent Systems via Unbounded Model Checking.- Towards Symbolic Model Checking for Multi-agent Systems via obdd’s.- Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols.- F-OWL: An Inference Engine for Semantic Web.- Model-Driven Architecture for Agent-Based Systems.- Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?.- Poster Presentations.- Petri Nets as Modeling Tool for Emergent Agents.- Massive Multi-agent systems control.- Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP).- Interaction and Communication of Agents in Networks and Language Complexity Estimates.