1122 search results - page 137 / 225 » Modelling Cooperative Multi-agent Systems |
75
Voted
ZUM
2000
Springer
15 years 1 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
ICAPR
2005
Springer
15 years 3 months ago
2005
Springer
In this paper an intrusion detection algorithm based on GP ensembles is proposed. The algorithm runs on a distributed hybrid multiisland model-based environment to monitor security...
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...
ICC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— It has been demonstrated that base station cooperation can reduce co-channel interference (CCI) and increase cellular system capacity. In this work we consider another ...
CN
2007
14 years 10 months ago
2007
Peer-to-peer networks have been commonly used for tasks such as file sharing or file distribution. We study a class of cooperative file distribution systems where a file is br...