3828 search results - page 630 / 766 » Proof-Based System Engineering Using a Virtual System Model |
137
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
In our present work we introduce the use of data fusion in the field of DoS anomaly detection. We present DempsterShafer’s Theory of Evidence (D-S) as the mathematical foundati...
122
Voted
VW
1998
Springer
15 years 6 months ago
1998
Springer
We propose a system for controlling in real time the localisation of sound sources. The system, called MidiSpace, is a real time spatializer of Midi music. We raise the issue of wh...
146
Voted
WSC
1997
15 years 4 months ago
1997
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...
134
click to vote
VISUALIZATION
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes the work of a team of researchers in computer graphics, geometric computing, and civil engineering to produce a visualization of the September 2001 attack on ...
151
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...