8795 search results - page 1428 / 1759 » Measuring Generality of Documents |
190
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
173
Voted
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
Systematic reviews are only as good as the evidence they are based on. It is important, therefore, that users of systematic reviews know how much confidence they can place in the ...
173
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...
181
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
Regression testing is the verification that previously functioning software remains after a change. In this paper we report on a systematic review of empirical evaluations of regr...
190
click to vote
EUC
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a qualitative risk analysis of the General Packet Radio Service (GPRS) technology. GPRS presents several essential security weaknesses which may lead to securi...