690 search results - page 128 / 138 » Testing Temporal Logic Properties in Distributed Systems |
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract - The RoQ (Reduction-of-Quality) attacks are lowrate DDoS attacks that degrade the QoS to end systems stealthily but not to deny the services completely. These attacks are...
IPPS
1998
IEEE
14 years 5 days ago
1998
IEEE
Parallel programming is elusive. The relative performance of di erent parallel implementations varies with machine architecture, system and problem size. How to compare di erent i...
CVPR
2005
IEEE
14 years 2 months ago
2005
IEEE
We introduce a new method that characterizes typical local image features (e.g., SIFT [9], phase feature [3]) in terms of their distinctiveness, detectability, and robustness to i...
EGPGV
2004
Springer
14 years 2 months ago
2004
Springer
We describe a system for the texture-based direct volume visualization of large data sets on a PC cluster equipped with GPUs. The data is partitioned into volume bricks in object ...
IDA
1998
Springer
13 years 8 months ago
1998
Springer
We investigate a form of modular neural network for classification with (a) pre-separated input vectors entering its specialist (expert) networks, (b) specialist networks which ar...