3799 search results - page 717 / 760 » An Engineering Approach to Formal Methods |
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a new approach that can be used to speed up SystemC simulations by automatically optimizing the model for simulation. The work addresses the inefficiency of th...
127
Voted
DRM
2007
Springer
15 years 10 months ago
2007
Springer
We present a new technique for generating biometric fingerprint hashes, or summaries of information contained in human fingerprints. Our method calculates and aggregates various...
155
click to vote
COMSWARE
2006
IEEE
15 years 10 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
122
click to vote
SOCO
2005
Springer
15 years 9 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
153
click to vote
APWEB
2004
Springer
15 years 9 months ago
2004
Springer
Today, search engine is the most commonly used tool for Web information retrieval, however, its current status is still far from satisfaction. This paper focuses on clustering Web...