E-Books durchsuchen
Formal Approaches to Agent-Based Systems [2004]
- 1
-
Ecology Based Decentralized Agent Management System
- 12
-
From Abstract to Concrete Norms in Agent Institutions
- 30
-
Meeting the Deadline: Why, When and How
- 41
-
Multi-agent Systems Reliability, Fuzziness, and Deterrence
- 57
-
Formalism Challenges of the Cougaar Model Driven Architecture
- 72
-
Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems
- 92
-
Using Ontologies to Formalize Services Specifications in Multi-agent Systems
- 111
-
Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance
- 131
-
A Formal Analysis of Potential Energy in a Multi-agent System
- 146
-
Agent-Based Chemical Plume Tracing Using Fluid Dynamics
- 161
-
Towards Timed Automata and Multi-agent Systems
- 173
-
An Approach to V&V of Embedded Adaptive Systems
- 189
-
Verifying Multi-agent Systems via Unbounded Model Checking
- 213
-
Towards Symbolic Model Checking for Multi-agent Systems via <Emphasis Type="SmallCaps">obdd</Emphasis>’s
- 222
-
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
- 238
-
F-OWL: An Inference Engine for Semantic Web
- 249
-
Model-Driven Architecture for Agent-Based Systems
- 262
-
Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?
- 271
-
Petri Nets as Modeling Tool for Emergent Agents
- 275
-
Massive Multi-agent systems control
- 281
-
Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP)
- 287
-
Interaction and Communication of Agents in Networks and Language Complexity Estimates