142 search results - page 29 / 29 » Frameworks Based on Templates for Rigorous Model-driven Deve... |
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
Recent experimental evidences have shown that ribonucleic acid (RNA) plays a greater role in the cell than previously thought. An ensemble of RNA sequences believed to contain sig...
AISC
1998
Springer
14 years 1 days ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...