2748 search results - page 422 / 550 » Generating Object-Z Specifications from Use Cases |
100
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Molecular maps have been developed for many species, and are of particular importance for varietal development and comparative genomics. However, despite the existence...
230
Voted
FOSSACS
2011
Springer
14 years 7 months ago
2011
Springer
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...
104
Voted
CASCON
2007
15 years 5 months ago
2007
Reaching project goals demands from team members the creation and communication of detailed and vastly heterogeneous project information. Although no team member needs to know ...
133
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: The expressed sequence tag (EST) methodology is an attractive option for the generation of sequence data for species for which no completely sequenced genome is availa...
123
Voted
CRYPTO
2010
Springer
15 years 4 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...