5470 search results - page 873 / 1094 » Distributed Control Lab |
156
click to vote
IWSOS
2007
Springer
16 years 9 days ago
2007
Springer
Today networks suffer from various challenges like distributed denial of service attacks or worms. Multiple different anomaly-based detection systems try to detect and counter such...
155
click to vote
LCPC
2007
Springer
16 years 9 days ago
2007
Springer
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...
155
click to vote
PVM
2007
Springer
16 years 8 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
138
click to vote
SAS
2007
Springer
16 years 8 days ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
155
click to vote
SSS
2007
Springer
16 years 8 days ago
2007
Springer
We introduce a new abstract system, called the truth system. In the truth system, a process deduces a true value, with high probability, from an incoming stream of both true and fa...