308 search results - page 53 / 62 » Modular Verification of Interactive Systems with an Applicat... |
USS
2008
15 years 1 months ago
2008
We present an automated, scalable, method for crafting dynamic responses to real-time network requests. Specifically, we provide a flexible technique based on natural language pro...
CSFW
2004
IEEE
15 years 3 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
115
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: Microarray analysis has become a widely used technique for the study of geneexpression patterns on a genomic scale. As more and more laboratories are adopting microarr...
118
click to vote
ICSE
2008
IEEE-ACM
16 years 12 days ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...
120
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
In Software Product Lines (SPLs), product configuration is a decision-making process in which a group of stakeholders choose features for a product. Unfortunately, current configu...