143 search results - page 8 / 29 » Secure Intelligent Agents Based on Formal Description Techni... |
AAMAS
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
WETICE
2006
IEEE
14 years 1 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
IVA
2010
Springer
13 years 6 months ago
2010
Springer
A smile may communicate different meanings depending on subtle characteristics of the facial expression. In this article, we have studied the morphological and dynamic characteris...
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
Within Criminology, the process of crime displacement is usually explained by referring to the interaction of three types of agents: criminals, passersby, and guardians. Most exis...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
acement of Crime (extended abstract) Tibor Bosse and Charlotte Gerritsen and Mark Hoogendoorn and S. Waqar Jaffry and Jan Treur1 Within Criminology, the process of crime displaceme...