606 search results - page 114 / 122 » A Comparative Study of Industrial Static Analysis Tools |
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Computational Game Theory is a way to study and evaluate behaviors using game theory models, via agent-based computer simulations. One of the most known example of this a...
114
click to vote
BMCBI
2011
14 years 1 months ago
2011
Background: Automatic quantification of neuronal morphology from images of fluorescence microscopy plays an increasingly important role in high-content screenings. However, there ...
BMCBI
2008
14 years 10 months ago
2008
Background: With the rapid emergence of RNA databases and newly identified non-coding RNAs, an efficient compression algorithm for RNA sequence and structural information is neede...
HT
2006
ACM
15 years 4 months ago
2006
ACM
In recent years, tagging systems have become increasingly popular. These systems enable users to add keywords (i.e., “tags”) to Internet resources (e.g., web pages, images, vi...
111
click to vote
SOUPS
2006
ACM
15 years 4 months ago
2006
ACM
The usability of access control mechanisms in modern distributed systems has been widely criticized but little studied. In this paper, we carefully examine one such widely deploye...