Model Checking Multiagent Systems MAS for Security Multiagent System-based Verification of Security and Privacy

First Page		Document Content
Date: 2015-11-05 09:29:18 Modeling and simulation Multi-agent systems Simulation Artificial intelligence Systems science Model checking Agent-based model Economic model Intelligent agent MAS		Model Checking Multiagent Systems MAS for Security Multiagent System-based Verification of Security and Privacy Add to Reading List Source URL: cgi.csc.liv.ac.uk Download Document from Source Website File Size: 952,20 KB Share Document on Facebook

	An intelligent agent for determining home occupancy using power monitors and light sensors Stephen Makonin and Fred Popowich Simon Fraser University School of Computing Science DocID: 1vcU7 - View Document
	Agent based data collecting in forest fire monitoring system Ljiljana Bodrozic, Darko Stipanicev, Department for Modeling and Intelligent Systems FESB - Faculty of Electrical Engineering, Machine Engineering and Naval Ar DocID: 1uH7s - View Document
	Intelligent Agent Reg. No. 4,427,403 Registered Nov. 5, 2013 Int. Cl.: 42 VANTAGE LEARNING (USA), LLC (DELAWARE LIMITED LIABILITY COMPANY) DocID: 1uaro - View Document
	2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Towards Solving Comprehensibility-Relevance Trade-off in Information Retrieval Kouichi Akamatsu DocID: 1tU5x - View Document
	2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Local Search Methods for Finding a Nash Equilibrium in Two-Player Games Sofia Ceppi, Nicola Gatti, Giorgio Patrini, Marco R DocID: 1tNWM - View Document