2812 search results - page 312 / 563 » Secrecy in Multiagent Systems |
167
click to vote
AIEDAM
1999
15 years 6 months ago
1999
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...
189
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
206
click to vote
JOC
2011
15 years 1 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
180
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
In this extended abstract I describe some norm typolgies developed within sociololgy and social philosophy. Using these typologies we can determine the bounderies of the different...
173
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
We present a multi-agent coordination technique to maintain throughput of a large-scale agent network system in the face of failures of agents. Failures do not just deteriorate th...