Sciweavers

4306 search results - page 323 / 862
» Timed Testing with TorX
Sort
View
COR
2011
14 years 10 months ago
Event-based MILP models for resource-constrained project scheduling problems
In this paper we make a comparative study of several mixed integer linear programming (MILP) formulations for resource-constrained project scheduling problems (RCPSPs). First, we ...
Oumar Koné, Christian Artigues, Pierre Lope...
CCS
2007
ACM
15 years 9 months ago
Defining categories to select representative attack test-cases
To ameliorate the quality of protection provided by intrusion detection systems (IDS) we strongly need more effective evaluation and testing procedures. Evaluating an IDS against ...
Mohammed S. Gadelrab, Anas Abou El Kalam, Yves Des...
GECCO
2010
Springer
172views Optimization» more  GECCO 2010»
15 years 8 months ago
Designing better fitness functions for automated program repair
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
Ethan Fast, Claire Le Goues, Stephanie Forrest, We...

Lecture Notes
561views
17 years 2 months ago
Financial Econometrics
These notes cover several topics such as Review of Statistics, Least Squares and Maximum Likelihood Estimation, Index Models, Testing CAPM and Multifactor Models Event Studies, Ti...
Paul Söderlind
STACS
2010
Springer
15 years 10 months ago
The k-in-a-path Problem for Claw-free Graphs
Testing whether there is an induced path in a graph spanning k given vertices is already NP-complete in general graphs when k = 3. We show how to solve this problem in polynomial t...
Jirí Fiala, Marcin Kaminski, Bernard Lidick...