Sciweavers

6014 search results - page 930 / 1203
» Structural Testing with Use Cases
Sort
View
BMCBI
2007
136views more  BMCBI 2007»
15 years 4 months ago
Automating document classification for the Immune Epitope Database
Background: The Immune Epitope Database contains information on immune epitopes curated manually from the scientific literature. Like similar projects in other knowledge domains, ...
Peng Wang, Alexander A. Morgan, Qing Zhang, Alessa...
COR
2008
66views more  COR 2008»
15 years 4 months ago
A multi-objective model for environmental investment decision making
Investment in landscapes to achieve outcomes that have multiple environmental benefits has become a major priority in many countries. This gives rise to opportunities for mathemat...
Andrew J. Higgins, Stefan Hajkowicz, Elisabeth N. ...
EOR
2008
133views more  EOR 2008»
15 years 4 months ago
Vehicle routing with dynamic travel times: A queueing approach
Transportation is an important component of supply chain competitiveness since it plays a major role in the inbound, inter-facility, and outbound logistics. In this context, assig...
Tom Van Woensel, Laoucine Kerbache, Herbert Perema...
FAC
2008
100views more  FAC 2008»
15 years 4 months ago
Slicing communicating automata specifications: polynomial algorithms for model reduction
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
Sébastien Labbé, Jean-Pierre Gallois
ENTCS
2006
90views more  ENTCS 2006»
15 years 4 months ago
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. ...