Sciweavers

1860 search results - page 176 / 372
» Automatic Generation of Search Engines
Sort
View
BMCBI
2007
155views more  BMCBI 2007»
15 years 3 months ago
ProCMD: a database and 3D web resource for protein C mutants
Background: Activated Protein C (ProC) is an anticoagulant plasma serine protease which also plays an important role in controlling inflammation and cell proliferation. Several mu...
Pasqualina D'Ursi, Francesca Marino, Andrea Caprer...
ICSE
2007
IEEE-ACM
16 years 3 months ago
WebSob: A Tool for Robustness Testing of Web Services
Web services are a popular way of implementing a Service-Oriented Architecture. Testing can be used to help assure both the correctness and robustness of a web service. Because ma...
Evan Martin, Suranjana Basu, Tao Xie
APSEC
2005
IEEE
15 years 9 months ago
Tool Support for Statistical Testing of Software Components
We describe the “STSC” prototype tool that supports the statistical testing of software components. The tool supports a wide range of operational profiles and test oracles for...
Rakesh Shukla, Paul A. Strooper, David A. Carringt...
PEPM
2009
ACM
16 years 21 days ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer
GECCO
2000
Springer
121views Optimization» more  GECCO 2000»
15 years 7 months ago
Informed operators: Speeding up genetic-algorithm-based design optimization using reduced models
In this paper we describe a method for improving genetic-algorithm-based optimization using informed genetic operators. The idea is to make the genetic operators such as mutation ...
Khaled Rasheed, Haym Hirsh