Sciweavers

1997 search results - page 128 / 400
» A Model for Data Leakage Detection
Sort
View
SPIN
2000
Springer
15 years 10 months ago
Using Runtime Analysis to Guide Model Checking of Java Programs
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
Klaus Havelund
ACSAC
2005
IEEE
16 years 10 days ago
Securing Email Archives through User Modeling
Online email archives are an under-protected yet extremely sensitive information resource. Email archives can store years worth of personal and business email in an easy-to-access...
Yiru Li, Anil Somayaji
IKE
2004
15 years 8 months ago
A Knowledge-Based Framework for Deploying Surveillance Problem Solvers
Increased concern about bioterrorism and emerging diseases is driving the development of systems for early epidemic detection. These systems have different requirements than tradit...
David L. Buckeridge, Martin J. O'Connor, Haobo Xu,...
RECOMB
2006
Springer
16 years 7 months ago
New Methods for Detecting Lineage-Specific Selection
Abstract. So far, most methods for identifying sequences under selection based on comparative sequence data have either assumed selectional pressures are the same across all branch...
Adam C. Siepel, Katherine S. Pollard, David Haussl...
WSC
2008
15 years 9 months ago
An application of parallel Monte Carlo modeling for real-time disease surveillance
The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, processing,...
David W. Bauer, Mojdeh Mohtashemi