3742 search results - page 83 / 749 » On the Use of Formal Techniques for Validation |
195
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Protein kinases play crucial roles in cell growth, differentiation, and apoptosis. Abnormal function of protein kinases can lead to many serious diseases, such as canc...
173
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Discriminating membrane proteins based on their functions is an important task in genome annotation. In this work, we have analyzed the characteristic features of amin...
156
click to vote
WCE
2007
15 years 7 months ago
2007
— Our work explores the use of several text categorization techniques for classification of manufacturing quality defect and service shop data sets into fixed categories. Althoug...
164
click to vote
IFL
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
149
click to vote
ANSOFT
2002
15 years 6 months ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...