5015 search results - page 291 / 1003 » Model Checking a Path |
199
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
163
click to vote
ICNP
2006
IEEE
16 years 16 days ago
2006
IEEE
— Some commonly used inter-domain-routing policies—e.g., those using BGP’s MED attribute for cold-potato routing—are beyond the scope of routing theory developed to date. T...
159
click to vote
WSC
1998
15 years 7 months ago
1998
LABATCH.2 is a collection of computer programs available in C, FORTRAN, and SIMSCRIPT II.5 by anonymous ftp, at http://www.or.unc.edu/gfish/labatch.2.html. It performs statistical...
220
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
Image-based location estimation methods typically recognize every photo independently, and their resulting reliance on strong visual feature matches makes them most suited for dis...
170
click to vote
ENTCS
2010
15 years 6 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...