Sciweavers

796 search results - page 83 / 160
» Spoofing prevention method
Sort
View
TLDI
2010
ACM
210views Formal Methods» more  TLDI 2010»
14 years 7 months ago
Effects for cooperable and serializable threads
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
Jaeheon Yi, Cormac Flanagan
IEEECIT
2009
IEEE
14 years 4 months ago
Clustering of Software Systems Using New Hybrid Algorithms
—Software clustering is a method for increasing software system understanding and maintenance. Software designers, first use MDG graph to model the structure of software system. ...
Ali Safari Mamaghani, Mohammad Reza Meybodi
ICASSP
2008
IEEE
14 years 4 months ago
Variance reduction with neighborhood smoothing for local intrinsic dimension estimation
Local intrinsic dimension estimation has been shown to be useful for many tasks such as image segmentation, anomaly detection, and de-biasing global dimension estimates. Of partic...
Kevin M. Carter, Alfred O. Hero
ICPR
2008
IEEE
14 years 4 months ago
Detection of Atrial Fibrillation using model-based ECG analysis
Atrial Fibrillation (AF) is an arrhythmia that can lead to several patient risks. This kind of arrhythmia affects mostly elderly people, in particular those who suffer from heart ...
Ricardo Couceiro, Paulo Carvalho, Jorge Henriques,...
INFOCOM
2008
IEEE
14 years 4 months ago
A New Perspective on Internet Security using Insurance
—Managing security risks in the Internet has so far mostly involved methods to reduce the risks and the severity of the damages. Those methods (such as firewalls, intrusion dete...
Jean-Chrysostome Bolot, Marc Lelarge