451 search results - page 73 / 91 » Accomplishing software stability |
FASE
2009
Springer
14 years 15 days ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
AVI
2004
13 years 10 months ago
2004
Our studies have shown that as displays become larger, users leave more windows open for easy multitasking. A larger number of windows, however, may increase the time that users s...
BMCBI
2007
13 years 8 months ago
2007
Background: Whereas the molecular assembly of protein expression clones is readily automated and routinely accomplished in high throughput, sequence verification of these clones i...
SIAMJO
2011
13 years 3 months ago
2011
Many applications arising in a variety of fields can be well illustrated by the task of recovering the low-rank and sparse components of a given matrix. Recently, it is discovered...
NAR
2011
12 years 11 months ago
2011
Genome-wide association studies often incorporate information from public biological databases in order to provide a biological reference for interpreting the results. The dbSNP d...