14782 search results - page 2882 / 2957 » Activities in Object Bases |
192
click to vote
PASTE
2005
ACM
15 years 12 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
171
click to vote
PLDI
2005
ACM
15 years 12 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
175
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
172
click to vote
SACMAT
2005
ACM
15 years 12 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
169
click to vote
SIGIR
2005
ACM
15 years 12 months ago
2005
ACM
We introduce a new model for semantic annotation and retrieval from image databases. The new model is based on a probabilistic formulation that poses annotation and retrieval as c...