Verification of Information Flow in Agent-Based Systems.
Khair Eddin SabriRidha KhédriJason JaskolkaPublished in: MCETECH (2009)
Keyphrases
- information flow
- agent based systems
- multi agent systems
- agent systems
- dynamic environments
- flow analysis
- distributed systems
- agent technology
- information flows
- software agents
- multiagent systems
- decision support system
- model checking
- flow graph
- supply chain
- information security
- communication networks
- social networks
- expert systems
- reactive systems
- multi agent
- multi threaded
- data mining
- multi context systems
- functional modules
- computational intelligence
- control system
- cooperative
- learning algorithm