2165 search results - page 51 / 433 » cases 2005 |
95
Voted
AML
2005
15 years 3 months ago
2005
In this paper, we investigate the extent to which techniques used in [10], [2], and [3] -- developed to prove coloring theorems at successors of singular cardinals of uncountable c...
128
click to vote
EMO
2005
Springer
15 years 9 months ago
2005
Springer
We present a new analysis of the LebMeasure algorithm for calculating hypervolume. We prove that although it is polynomial in the number of points, LebMeasure is exponential in the...
140
click to vote
ISPDC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper makes the case why mobile code is an appropriate solution for platforms running on mobile devices aggregated in mobile ad-hoc networks. It also presents a solution
103
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
160
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...