188 search results - page 15 / 38 » On Test Derivation from Partial Specifications |
ESEM
2007
ACM
13 years 11 months ago
2007
ACM
In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software t...
SQJ
2002
13 years 7 months ago
2002
Much of software engineering is targeted towards identifying and removing existing defects while preventing the injection of new ones. Defect management is therefore one important ...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
We present an algebraic solution to direct registration of diffusion tensor images under various local deformation models. We show how to linearly recover the deformation from the...
AAAI
2006
13 years 9 months ago
2006
We introduce point-based dynamic programming (DP) for decentralized partially observable Markov decision processes (DEC-POMDPs), a new discrete DP algorithm for planning strategie...
CCE
2008
13 years 7 months ago
2008
Most solid oxide fuel cell (SOFC) modelling efforts emphasize steady-state cell operation. However, understanding the dynamic behaviour is essential to predict the performance and...