706 search results - page 115 / 142 » Building Knowledge Bases for the Generation of Software Docu... |
125
click to vote
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
106
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
126
click to vote
VLC
2008
15 years 1 months ago
2008
This article describes an architecture for translating speech into Spanish Sign Language (SSL). The architecture proposed is made up of four modules: speech recognizer, semantic a...
118
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Amines are biogenic amino acid derivatives, which play pleiotropic and very important yet complex roles in animal physiology. For many other relevant biomolecules, bio...
128
click to vote
GI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...