5030 search results - page 125 / 1006 » cases 2007 |
141
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
142
click to vote
EOR
2007
15 years 4 months ago
2007
The purpose of this paper is to learn the order of criteria of lexicographic decision under various reasonable assumptions. We give a sample evaluation and an oracle based algorit...
100
click to vote
IJEB
2007
15 years 4 months ago
2007
: The aim of this paper is to present a case study of the adoption of Information and Communication Technologies (ICT) among 6000 small businesses within a locality of Greater Manc...
132
click to vote
EJC
2010
15 years 4 months ago
2010
We give a combinatorial formula for the inverses of the alternating sums of free quasi-symmetric functions of the form F(I) where I runs over compositions with parts in a prescribe...
110
Voted
CORR
2007
Springer
15 years 4 months ago
2007
Springer
A generalization of the heapsort algorithm is proposed. At the expense of about 50% more comparison and move operations for typical cases, the dualheap sort algorithm offers sever...