3342 search results - page 374 / 669 » Symbolic Robustness Analysis |
283
click to vote
Publication
Humans can verify unknown parent-offspring and sibling pairs over unrelated subject pairs. A computational scheme to accomplish the task robustly, in the presence of challenges due...
237
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: OmniLog™ phenotype microarrays (PMs) have the capability to measure and compare the growth responses of biological samples upon exposure to hundreds of growth condit...
177
click to vote
MSR
2006
ACM
16 years 21 days ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
178
click to vote
CCS
2005
ACM
16 years 9 days ago
2005
ACM
Vulnerabilities that allow worms to hijack the control flow of each host that they spread to are typically discovered months before the worm outbreak, but are also typically disc...
198
Voted
ENTCS
2007
15 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...