495 search results - page 31 / 99 » The Subword Reversing Method |
KBSE
1998
IEEE
14 years 27 days ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
IVC
2008
13 years 8 months ago
2008
Reversible jump Markov chain Monte Carlo (RJMCMC) is a recent method which makes it possible to construct reversible Markov chain samplers that jump between parameter subspaces of...
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
Automatic protocol reverse engineering has recently received significant attention due to its importance to many security applications. However, previous methods are all limited in...
3DPVT
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we address the problem of finding depth from defocus in a fundamentally new way. Most previous methods have used an approximate model in which blurring is shift in...
WCRE
2005
IEEE
14 years 2 months ago
2005
IEEE
Understanding a software system by just analyzing the structure of the system reveals only half of the picture, since the structure tells us only how the code is working but not w...