Sciweavers

1412 search results - page 100 / 283
» The Value of Outsourced Software
Sort
View
CIKM
2006
Springer
14 years 20 days ago
Estimating average precision with incomplete and imperfect judgments
We consider the problem of evaluating retrieval systems using incomplete judgment information. Buckley and Voorhees recently demonstrated that retrieval systems can be efficiently...
Emine Yilmaz, Javed A. Aslam
SPRINGSIM
2008
13 years 10 months ago
Predicting hepatic disposition properties of cationic drugs using a physiologically based, agent-oriented In Silico Liver
The In Silico Liver (ISL) plugs together autonomous software objects that represent hepatic components at different scales and levels of details. ISL parameters sensitive to drug-...
Li Yan, Sunwoo Park, Shahab Sheikh-Bahaei, Glen E....
SFP
2003
13 years 10 months ago
Testing reactive systems with GAST
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
Pieter W. M. Koopman, Rinus Plasmeijer
SIGSOFT
2005
ACM
14 years 9 months ago
A case study on value-based requirements tracing
Project managers aim at keeping track of interdependencies between various artifacts of the software development lifecycle, to find out potential requirements conflicts, to better...
Matthias Heindl, Stefan Biffl
PEPM
2009
ACM
14 years 5 months 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