Sciweavers

5434 search results - page 271 / 1087
» Tool support for MOLA
Sort
View
158
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
Supporting human-intensive systems
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
Lori A. Clarke, Leon J. Osterweil, George S. Avrun...
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
16 years 23 days ago
Testing Erlang Refactorings with QuickCheck
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...
Huiqing Li, Simon Thompson
BMCBI
2008
141views more  BMCBI 2008»
15 years 6 months ago
MiRTif: a support vector machine-based microRNA target interaction filter
Background: MicroRNAs (miRNAs) are a set of small non-coding RNAs serving as important negative gene regulators. In animals, miRNAs turn down protein translation by binding to the...
Yuchen Yang, Yu-Ping Wang, Kuo-Bin Li
BMCBI
2007
127views more  BMCBI 2007»
15 years 6 months ago
Predicting the phenotypic effects of non-synonymous single nucleotide polymorphisms based on support vector machines
Background: Human genetic variations primarily result from single nucleotide polymorphisms (SNPs) that occur approximately every 1000 bases in the overall human population. The no...
Jian Tian, Ningfeng Wu, Xuexia Guo, Jun Guo, Juhua...
ECOOP
2007
Springer
15 years 10 months ago
Making Programmers Aware Of Refactorings
Modern integrated development environments, such as ECLIPSE, provide automated or semi-automated refactoring support. Despite this support, refactorings are often done manually --...
Peter Weißgerber, Benjamin Biegel, Stephan D...