Sciweavers

12 search results - page 3 / 3
» Embedded Software Revitalization through Component Mining an...
Sort
View
FM
1997
Springer
258views Formal Methods» more  FM 1997»
13 years 8 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
TIFS
2008
148views more  TIFS 2008»
13 years 4 months ago
Digital Image Forensics via Intrinsic Fingerprints
Digital imaging has experienced tremendous growth in recent decades, and digital camera images have been used in a growing number of applications. With such increasing popularity a...
Ashwin Swaminathan, Min Wu, K. J. Ray Liu