Sciweavers

766 search results - page 104 / 154
» Detecting modifications in paper documents: a coding approac...
Sort
View
PROCOMET
1998
13 years 10 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
MPC
2004
Springer
147views Mathematics» more  MPC 2004»
14 years 2 months ago
Extended Static Checking for Java
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
Greg Nelson
CAV
2011
Springer
216views Hardware» more  CAV 2011»
13 years 19 days ago
Malware Analysis with Tree Automata Inference
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...
Domagoj Babic, Daniel Reynaud, Dawn Song
ISCAS
2003
IEEE
145views Hardware» more  ISCAS 2003»
14 years 2 months ago
Automatic moving object extraction in MPEG video
In this paper, we propose a moving object extraction technique for MPEG coded data directly. It is a changebased motion object extraction approach, which discriminates background ...
Wei Zeng, Wen Gao, Debin Zhao
WCRE
2005
IEEE
14 years 2 months ago
Diagnosing Design Problems in Object Oriented Systems
Software decay is a phenomenon that plagues aging software systems. While in recent years, there has been significant progress in the area of automatic detection of “code smells...
Adrian Trifu, Radu Marinescu