400 search results - page 38 / 80 » An Extensible Meta-Model for Program Analysis |
127
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Comparing related structures and viewing the structures in the context of sequence alignments are important tasks in protein structure-function research. While many pr...
103
click to vote
ICDE
2009
IEEE
15 years 9 months ago
2009
IEEE
— Complex ad hoc join queries over enterprise databases are commonly used by business data analysts to understand and analyze a variety of enterprise-wide processes. However, eff...
113
Voted
ICTCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
83
Voted
IADIS
2003
15 years 4 months ago
2003
We describe the current state of a resource that enables research in the human sciences with differential access rights for experimenters and participants in experiments. We outli...
109
Voted
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...