2947 search results - page 242 / 590 » Analyzing Program Analyses |
206
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...
211
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
180
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: The development of software tools that analyze microarray data in the context of genetic knowledgebases is being pursued by multiple research groups using different me...
180
click to vote
NAR
2011
14 years 9 months ago
2011
Mitochondria constitute complex and flexible cellular entities, which play crucial roles in normal and pathological cell conditions. The database MitoGenesisDB focuses on the dyna...
164
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...