146 search results - page 24 / 30 » A Systematic Method to Identify Software Components |
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
BMCBI
2007
13 years 8 months ago
2007
Background: Chromatin immunoprecipitation combined with DNA microarrays (ChIP-chip) is a high-throughput assay for DNA-protein-binding or post-translational chromatin/histone modi...
ECIS
2000
13 years 9 months ago
2000
As the information systems discipline grows, so do the number of programs offering graduate research degrees (GRD). In Australasia these include one year post-graduate (honors) pr...
ICSR
2011
Springer
12 years 11 months ago
2011
Springer
Product Line Architecture (PLA) plays a central role in software product line development. In order to support architecture-level variability modeling, most architecture descriptio...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...