4418 search results - page 463 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
165
click to vote
RAID
2007
Springer
16 years 29 days ago
2007
Springer
We present a novel approach to remote traffic aggregation for Network Intrusion Detection Systems (NIDS) called Cooperative Selective Wormholing (CSW). Our approach works by select...
214
click to vote
JSS
2007
15 years 6 months ago
2007
The resource management in distributed real-time systems becomes increasingly unpredictable with the proliferation of data-driven applications. Therefore, it is inefficient to all...
214
click to vote
IJCAI
1997
15 years 8 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
183
click to vote
EDUTAINMENT
2007
Springer
16 years 1 months ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
128
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We develop a computationally efficient and memory efficient approach to (near) maximum a posteriori probability demodulation for MIMO systems with QPSK signalling, based on semi...