387 search results - page 58 / 78 » date 2005 |
ACSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
Single-particle tracking provides a powerful technique for measuring dynamic cellular processes on the level of individual molecules. Much recent work has been devoted to using si...
76
Voted
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
Similarity search leveraging distance-based index structures is increasingly being used for both multimedia and biological database applications. We consider distance-based indexi...
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
Phylogenies—the evolutionary histories of groups of organisms—are one of the most widely used tools throughout the life sciences, as well as objects of research within systema...
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
High-throughput methods for detecting protein-protein interactions (PPI) have given researchers an initial global picture of protein interactions on a genomic scale. The usefulnes...