12981 search results - page 2241 / 2597 » Model Checking (Abstract) |
130
click to vote
APN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...
165
Voted
ARGMAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
120
click to vote
ASIACRYPT
2007
Springer
15 years 11 months ago
2007
Springer
ersion of an extended abstract to be published in Advances in Cryptology—ASIACRYPT 2007, Springer-Verlag, 2007. Available online from: http://www.cs.stanford.edu/∼xb/asiacrypt0...
186
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...
144
click to vote
CIA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents a design of high-performance agentbased intrusion detection system designed for deployment on high-speed network links. To match the speed requirement...