4290 search results - page 214 / 858 » Formal Approaches to Teamwork |
182
click to vote
ICDCSW
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we consider the problem of reducing the number of false positives generated by cooperative Intrusion Detection Systems (IDSs) in Mobile Ad hoc Networks (MANETs). We...
208
click to vote
FMICS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
183
click to vote
HPCC
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. CAN is a famous structured peer-to-peer network based on ddimensional torus topology with constant degree and logarithmical diameter, but suffers from poor scalability wh...
186
click to vote
GLOBECOM
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract— In this paper, we consider the problem of detecting intrusions initiated by cooperative malicious nodes in infrastructure-based networks. We achieve this objective by s...
135
click to vote
IUI
2005
ACM
16 years 8 days ago
2005
ACM
Many structured activities are managed by email. For instance, a consumer purchasing an item from an e-commerce vendor may receive a message confirming the order, a warning of a ...