Modeling and Proof of Event-Driven Interaction in Multi Agent Systems in Event-B.
Lorina NegreanuMatei PopoviciPublished in: CSCS (2013)
Keyphrases
- event driven
- multi agent systems
- fuzzy cognitive maps
- information delivery
- event streams
- publish subscribe
- real time
- agent based modeling
- multi agent
- database
- human computer interaction
- autonomous agents
- markup language
- metadata
- intelligent agents
- agent architecture
- agent systems
- user interaction
- data warehouse
- high level