Sciweavers

11121 search results - page 108 / 2225
» Computing with Continuous Change
Sort
View
ACSC
2006
IEEE
15 years 5 months ago
Tracing secure information flow through mode changes
Communications devices intended for use in securitycritical applications must be rigorously evaluated to ensure they preserve data confidentiality. This process includes tracing t...
Colin J. Fidge, Tim McComb
BMVC
2002
15 years 4 months ago
Saliency of Interest Points under Scale Changes
Interest point detectors are commonly employed to reduce the amount of data to be processed. The ideal interest point detector would robustly select those features which are most ...
Daniela Hall, Bastian Leibe, Bernt Schiele
96
Voted
NSDI
2008
15 years 3 months ago
Catching Instant Messaging Worms with Change-Point Detection Techniques
Instant messaging (IM) systems have gained a lot of popularity in recent years. The increasing number of IM users has lured malware authors to develop more worms and viruses that ...
Guanhua Yan, Zhen Xiao, Stephan Eidenbenz
VIS
2009
IEEE
235views Visualization» more  VIS 2009»
16 years 2 months ago
CUDA-Accelerated Continuous 2D Scatterplots
In this poster, we present how our previously published method of computing continuous 2D scatterplots can be performed with hardware acceleration on a GPU. By doing this, we expl...
Sven Bachthaler, Steffen Frey, Daniel Weiskopf
CONCUR
2000
Springer
15 years 5 months ago
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...