2711 search results - page 142 / 543 » Stochastic Hybrid Systems: Application to Communication Netw... |
175
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
166
click to vote
P2P
2002
IEEE
15 years 11 months ago
2002
IEEE
The combination of peer-to-peer networking and agentbased computing seems to be a perfect match. Agents are cooperative and communication oriented, while peerto-peer networks typi...
199
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
It is generally believed that by combining several diverse intrusion detectors (i.e., forming an IDS ensemble), we may achieve better performance. However, there has been very lit...
149
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
— This paper describes the design and implementation of a protocol scrubber, a transparent interposition mechanism for explicitly removing network attacks at both the transport a...
292
click to vote
ARTCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper, discusses about navigation control of mobile robot using adaptive neuro-fuzzy inference system (ANFIS) in a real word dynamic environment. In the ANFIS controller a...