2797 search results - page 267 / 560 » Code query by example |
139
Voted
CCS
2003
ACM
15 years 9 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
159
Voted
DLS
2005
15 years 6 months ago
2005
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...
139
Voted
DGO
2006
15 years 5 months ago
2006
For social science researchers, content analysis and classification of United States Congressional legislative activities has been time consuming and costly. The Library of Congre...
171
Voted
TACAS
2012
Springer
13 years 11 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
132
click to vote
CIVR
2005
Springer
15 years 9 months ago
2005
Springer
It is now accepted that the most e ective video shot retrieval is based on indexing and retrieving clips using multiple, parallel modalities such as text-matching, image-matching a...