Sciweavers

3742 search results - page 560 / 749
» On the Use of Formal Techniques for Validation
Sort
View
TDSC
2011
15 years 1 months ago
An Obfuscation-Based Approach for Protecting Location Privacy
—The pervasive diffusion of mobile communication devices and the technical improvements of location techniques are fostering the development of new applications that use the phys...
Claudio Agostino Ardagna, Marco Cremonini, Sabrina...
TIFS
2010
149views more  TIFS 2010»
15 years 1 months ago
Detecting Forgery From Static-Scene Video Based on Inconsistency in Noise Level Functions
Recently developed video editing techniques have enabled us to create realistic synthesized videos. Therefore, using video data as evidence in places such as courts of law requires...
Michihiro Kobayashi, Takahiro Okabe, Yoichi Sato
ICCV
2009
IEEE
1297views Computer Vision» more  ICCV 2009»
16 years 5 months ago
Effective and Efficient Interpolation for Mutual Information based Multimodality Elastic Image Registration
Mutual information (MI) is a popular similarity metric for multimodality image registration purpose. However, it is negatively influenced by artifacts due to interpolation effec...
R. Gallea, E. Ardizzone, R. Pirrone, O. Gambino
CAV
2007
Springer
166views Hardware» more  CAV 2007»
16 years 20 days ago
Fast and Accurate Static Data-Race Detection for Concurrent Programs
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, A...
ASPLOS
2006
ACM
16 years 14 days ago
Temporal search: detecting hidden malware timebombs with virtual machines
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
Jedidiah R. Crandall, Gary Wassermann, Daniela A. ...