6800 search results - page 780 / 1360 » Testing with Functions as Specifications |
187
click to vote
DIAGRAMS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
192
Voted
CRYPTO
2010
Springer
15 years 8 months ago
2010
Springer
Homomorphic encryption (HE) schemes enable computing functions on encrypted data, by means of a public Eval procedure that can be applied to ciphertexts. But the evaluated ciphert...
163
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Pathways in biological system often cooperate with each other to function. Changes of interactions among pathways tightly associate with alterations in the properties ...
261
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...
221
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Common fragile sites (cfs) are specific regions in the human genome that are particularly prone to genomic instability under conditions of replicative stress. Several ...