142 search results - page 29 / 29 » Frameworks Based on Templates for Rigorous Model-driven Deve... |
CCECE
2006
IEEE
13 years 12 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
13 years 10 months 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, ...