425 search results - page 57 / 85 » Requirements, specifications, and minimal refinement |
89
Voted
BMCBI
2010
15 years 19 days ago
2010
Background: The protein-coding regions (coding exons) of a DNA sequence exhibit a triplet periodicity (TP) due to fact that coding exons contain a series of three nucleotide codon...
87
Voted
CORR
2008
Springer
15 years 18 days ago
2008
Springer
We study the conditional sojourn time distributions of processor sharing (PS), foreground background processor sharing (FBPS) and shortest remaining processing time first (SRPT) s...
89
Voted
FUIN
2008
15 years 17 days ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
106
Voted
BMCBI
2005
15 years 12 days ago
2005
Background: The majority of residues in protein structures are involved in the formation of helices and -strands. These distinctive secondary structure patterns can be used to rep...
107
Voted
ENTCS
2000
15 years 10 days ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...