3387 search results - page 300 / 678 » Model-Checking for Real-Time Systems |
195
click to vote
HCI
2007
15 years 8 months ago
2007
This paper proposes the real-time stereoscopic conversion method with adaptable viewing distance by the viewer’s eye detection at personal stereoscopic viewing devices. The dista...
200
click to vote
ADCS
2004
15 years 8 months ago
2004
Group awareness has become important in improving the usability of real-time, distributed, collaborative writing systems. However, the current set of implemented awareness mechanis...
253
click to vote
CSREAESA
2006
15 years 8 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
212
click to vote
NIPS
2003
15 years 8 months ago
2003
A mixed-signal image filtering VLSI has been developed aiming at real-time generation of edge-based image vectors for robust image recognition. A four-stage asynchronous median de...
204
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The premise of automated alert correlation is to accept that false alerts from a low level intrusion detection system are inevitable and use attack models to explain the output in ...