3910 search results - page 682 / 782 » Analyzing Cross-Connected Networks |
176
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
164
click to vote
IPTPS
2004
Springer
15 years 10 months ago
2004
Springer
In P2P systems, users often have many choices of peers from whom to download their data. Each user cares primarily about its own response time, which depends on how many other use...
134
click to vote
IWDC
2004
Springer
15 years 10 months ago
2004
Springer
Intrusion detection for computer systems is a key problem in today’s networked society. Current distributed intrusion detection systems (IDSs) are not fully distributed as most o...
136
click to vote
RAID
2004
Springer
15 years 10 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
202
click to vote
SETN
2004
Springer
15 years 10 months ago
2004
Springer
We present novel intelligent tools for mining 3D medical images. We focus on detecting discriminative Regions of Interest (ROIs) and mining associations between their spatial distr...