151 search results - page 13 / 31 » On complexity of verification of interacting agents' behavio... |
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Supply chains are ubiquitous in the manufacturing of many complex products. Traditionally, supply chains have been created through the interactions of human representatives of the ...
AAMAS
2006
Springer
14 years 9 months ago
2006
Springer
File Integrity Analyzers serve as a component of an Intrusion Detection environment by performing filesystem inspections to verify the content of security-critical files in order ...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
Experimental analysis of networks of cooperative learning agents (to verify certain properties such as the system's stability) has been commonly used due to the complexity of...
KER
2008
14 years 9 months ago
2008
The simulation of synthetic humans inhabiting virtual environments is a current research topic with a great number of behavioral problems to be tackled. Semantical Virtual Environ...
85
Voted
MAGS
2008
14 years 9 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...