2342 search results - page 394 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
CCS
2003
ACM
14 years 2 months ago
2003
ACM
Forward-secure signatures (FSSs) have recently received much attention from the cryptographic theory community as a potentially realistic way to mitigate many of the difficulties...
BMCBI
2010
13 years 9 months ago
2010
Background: Over the last few years, genome-wide association (GWA) studies became a tool of choice for the identification of loci associated with complex traits. Currently, impute...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
EUROMICRO
2007
IEEE
14 years 3 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
TSMC
2008
2008
An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis
13 years 9 months ago
Abstract--Reliability and sensitivity analysis is a key component in the design, tuning, and maintenance of network systems. Tremendous research efforts have been expended in this ...